Epistemic logics with quantification over epistemic operators: decidability and expressiveness

DOI10.1007/s11787-023-00330-2OpenAlexW4383764068MaRDI QIDQ6054107

Gennady Shtakser

Publication date: 24 October 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-023-00330-2

zbMATH Keywords

expressive powerdecision problemterm-modal logicsquantification over modal operatorsouter-scope and inner-scope referencestwo variable and guarded fragments of first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Individual concepts in modal predicate logic
• Many-dimensional modal logics: theory and applications
• Loosely guarded fragment of first-order logic has the finite model property
• Propositional epistemic logics with quantification over agents of knowledge
• Naming and identity in epistemic logic. II: A first-order logic for naming
• 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
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
• Decidable fragments of first-order modal logics
• Small substructures and decidability issues for first-order logic with two variables
• Knowing-Who in Quantified Epistemic Logic
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• On the Restraining Power of Guards
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Computer Science Logic
• Two-Variable First-Order Logic with Equivalence Closure
• Term-modal logics
• A modal loosely guarded fragment of second-order propositional modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Epistemic logics with quantification over epistemic operators: decidability and expressiveness