scientific article; zbMATH DE number 7561674
From MaRDI portal
Publication:5092390
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.
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