Similar Items: A decidable weakening of Compass Logic based on cone-shaped cardinal directions
- The complexity of global cardinality constraints
- Expansions of MSO by cardinality relations
- The logical strength of Büchi's decidability theorem
- Reasoning with Finite Sets and Cardinality Constraints in SMT
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Definability and Interpolation within Decidable Fixpoint Logics