Modal logic and the two-variable fragment
From MaRDI portal
Recommendations
Cited in
(24)- Reasoning about cooperation, actions and preferences
- On logics with two variables
- SGGS decision procedures
- On the expressive power of first-order modal logic with two-dimensional operators
- Existential second-order logic and modal logic with quantified accessibility relations
- Model theoretic methods for fragments of FO and special classes of (finite) structures
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- scientific article; zbMATH DE number 4160680 (Why is no real title available?)
- On the succinctness of some modal logics
- Foundations of instance level updates in expressive description logics
- scientific article; zbMATH DE number 1303433 (Why is no real title available?)
- On the expressiveness of frame satisfiability and fragments of second-order logic
- scientific article; zbMATH DE number 6917935 (Why is no real title available?)
- Separation logics and modalities: a survey
- Modal logics with composition on finite forests: expressivity and complexity
- On the succinctness of atoms of dependency
- Regular graphs and the spectra of two-variable logic with counting
- Expressive completeness of separation logic with two variables and no separating conjunction
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
- First-order expressivity for S5-models: Modal vs. two-sorted languages
- A description logic based situation calculus
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Modal logic is more succinct iff bi-implication is available in some form
- Boolean basis, formula size, and number of modal operators
This page was built for publication: Modal logic and the two-variable fragment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783312)
