The logic of secrets and the interpolation rule

DOI10.1007/S10472-022-09815-0MaRDI QIDQ6133700zbMATH OpenOpenAlexFDO

Authors Zuojun Xiong, Thomas Ågotnes

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

zbMATH Keywords

completenessepistemic logicdoxastic logicnon-normal modal logic

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 7440211 (Why is no real title available?)
• scientific article; zbMATH DE number 6747860 (Why is no real title available?)
• A Modal Deconstruction of Access Control Logics
• A Modal Logic for Coalitional Power in Games
• A logic for ignorance
• Canonicity for intensional logics without iterative axioms
• Contingency and knowing whether
• Dynamics of lying
• Group belief
• Intensional logics without iterative axioms
• Modal logic
• NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF
• Neighborhood semantics for modal logic
• Resource bisimilarity and graded bisimilarity coincide
• The pleasure of gossip
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Verification of distributed epistemic gossip protocols
• ``Knowing whether, ``knowing that, and the cardinality of state spaces

Cited in

(5)

• Secret Writing on Dirty Paper: A Deterministic View
• Radical ignorance and the Dunning-Kruger effect: an improved account of the logic involved
• Intentionally anonymous public announcements
• A uniform approach to axiomatizing bundled operators
• A logical perspective on intending to keep a true secret

This page was built for publication: The logic of secrets and the interpolation rule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6133700)