A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic

DOI10.1145/3593584MaRDI QIDQ6082225

Unnamed Author, Unnamed Author

Publication date: 3 November 2023

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

zbMATH Keywords

normal formdecidabilityequalityterm modal logictwo variable fragment

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• Modal languages and bounded fragments of predicate logic
• Propositional epistemic logics with quantification over agents of knowledge
• First-order modal logic
• On logics with two variables
• The monodic fragment of propositional term modal logic
• Free quantified epistemic logics
• Quantifier-free epistemic term-modal logic with assignment operator
• Dynamic term-modal logics for first-order epistemic planning
• Propositional modal logic with implicit modal quantification
• Term-sequence-modal logics
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Normal forms in modal logic
• Decidable fragments of first-order modal logics
• Small substructures and decidability issues for first-order logic with two variables
• Beyond Knowing That: A New Generation of Epistemic Logics
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Conflicting Obligations in Multi-agent Deontic Logic
• The Undecidability of Monadic Modal Quantification Theory
• On languages with two variables
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• On the Decision Problem for Two-Variable First-Order Logic
• Term-modal logics
• Are bundles good deals for first-order modal logic?

This page was built for publication: A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic