Propositional epistemic logics with quantification over agents of knowledge

DOI10.1007/s11225-017-9741-0zbMath1437.03074OpenAlexW2753463685MaRDI QIDQ1743999

Gennady Shtakser

Publication date: 16 April 2018

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

Full work available at URL: https://doi.org/10.1007/s11225-017-9741-0

zbMATH Keywords

decision problemde re and de dicto readingsguarded fragments of first-order logicpropositional epistemic logicsquantification over modal operators

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (7)

Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Epistemic Logics of Structured Intensional Groups ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Unnamed Item ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounded situation calculus action theories
• Modal languages and bounded fragments of predicate logic
• Many-dimensional modal logics: theory and applications
• Loosely guarded fragment of first-order logic has the finite model property
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Free quantified epistemic logics
• Decidable fragments of first-order modal logics
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• On the Restraining Power of Guards
• Computer Science Logic
• Term-modal logics

This page was built for publication: Propositional epistemic logics with quantification over agents of knowledge