Two variable fragment of term modal logic

DOI10.4230/LIPICS.MFCS.2019.30MaRDI QIDQ5092390zbMATH OpenFDO

Authors

Publication date 21 July 2022

Full work available at URL https://arxiv.org/abs/1904.10260

zbMATH Keywords

decidabilitysatisfiability problemterm modal logictwo variable fragment

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Undecidability of modal and intermediate first-order logics with two individual variables
• The monodic fragment of propositional term modal logic
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• On logics with two variables
• Propositional modal logic with implicit modal quantification

Cites work

• A new modal framework for epistemic logic
• A unified completeness theorem for quantified modal logics
• Analysis 1
• Bundled fragments of first-order modal logic: (un)decidability
• Conflicting Obligations in Multi-agent Deontic Logic
• Decidable fragments of first-order modal logics
• First-order modal logic
• Free quantified epistemic logics
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• Modal languages and bounded fragments of predicate logic
• Modal logic
• Normal forms in modal logic
• On languages with two variables
• On logics with two variables
• On the Decision Problem for Two-Variable First-Order Logic
• Propositional epistemic logics with quantification over agents of knowledge
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
• Term-modal logics
• The monodic fragment of propositional term modal logic
• The Undecidability of Monadic Modal Quantification Theory
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• When names are not commonly known: epistemic logic with assignments

Cited in

(6)

• A two-variable fragment of English
• Quantifier-free epistemic term-modal logic with assignment operator
• Propositional modal logic with implicit modal quantification
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• Epistemic Logics of Structured Intensional Groups

This page was built for publication: Two variable fragment of term modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5092390)