Decidable first-order modal logics with counting quantifiers
zbMATH Open1400.03044MaRDI QIDQ4636045FDOQ4636045
Authors: Christopher Hampson 
Publication date: 23 April 2018
Recommendations
- Complexity Results for First-Order Two-Variable Logic with Counting
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- One-variable first-order linear temporal logics with counting
- Two-variable first order logic with counting quantifiers: complexity results
- On logics with two variables
first-order modal logicfinite model propertyquantified modal logiccounting quantifierstwo-dimensional modal logicquasimodeldecidable fragment
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Decidability of theories and sets of sentences (03B25)
Cited In (13)
- Modal Logics with Counting
- Title not available (Why is that?)
- Modal definability of first-order formulas with free variables and query answering
- Decidable logics with associative binary modalities
- Title not available (Why is that?)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers
- Decidability of order-based modal logics
- Are bundles good deals for first-order modal logic?
- First-order definable counting-only queries
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
This page was built for publication: Decidable first-order modal logics with counting quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636045)
