scientific article; zbMATH DE number 7561674

DOI10.4230/LIPIcs.MFCS.2019.30MaRDI QIDQ5092390

No author found.

Publication date: 21 July 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilitysatisfiability problemterm modal logictwo variable fragment

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

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 ⋮ Quantifier-free epistemic term-modal logic with assignment operator

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
• Normal forms in modal logic
• Decidable fragments of first-order modal 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
• On the Decision Problem for Two-Variable First-Order Logic
• A unified completeness theorem for quantified modal logics
• When Names Are Not Commonly Known: Epistemic Logic with Assignments
• Analysis 1
• Term-modal logics