The following pages link to (Q4636045):
Displaying 11 items.
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- (Q2958533) (← links)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792) (← links)
- (Q4035696) (← links)
- Modal Logics with Counting (Q4931593) (← links)
- First-order definable counting-only queries (Q5915664) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)