Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
From MaRDI portal
Publication:2323640
DOI10.1007/s11225-018-9824-6OpenAlexW2888212920WikidataQ129347419 ScholiaQ129347419MaRDI QIDQ2323640
Publication date: 3 September 2019
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-018-9824-6
decision problempropositional epistemic logicsquantification over modal operatorsouter and inner scopestwo variable fragment of first-order logic with equivalence relations
Related Items (3)
Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Tracks of relations and equivalences-based reasoning
- Many-dimensional modal logics: theory and applications
- Decidable fragments of first-order temporal logics
- 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
- Indexical knowledge and robot action -- a logical account
- Unary negation
- Small substructures and decidability issues for first-order logic with two variables
- Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
- A New Approach to Epistemic Logic
- From BDI and stit to bdi-stit logic
- Naming and Identity in Epistemic Logics Part I: The Propositional Case
- On the Restraining Power of Guards
- Unary negation fragment with equivalence relations has the finite model property
- Guarded Negation
- Two-Variable First-Order Logic with Equivalence Closure
- Term-modal logics
This page was built for publication: Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
