The logic of secrets and the interpolation rule
From MaRDI portal
Publication:6133700
DOI10.1007/s10472-022-09815-0OpenAlexW4304147719MaRDI QIDQ6133700
Publication date: 21 August 2023
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-022-09815-0
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamics of lying
- Intensional logics without iterative axioms
- Canonicity for intensional logics without iterative axioms
- ``Knowing whether, ``knowing that, and the cardinality of state spaces
- Resource bisimilarity and graded bisimilarity coincide
- Neighborhood semantics for modal logic
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- The Pleasure of Gossip
- A Modal Logic for Coalitional Power in Games
- Group belief
- NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF
- CONTINGENCY AND KNOWING WHETHER
- A Modal Deconstruction of Access Control Logics
This page was built for publication: The logic of secrets and the interpolation rule