The logic of secrets and the interpolation rule

DOI10.1007/S10472-022-09815-0OpenAlexW4304147719MaRDI QIDQ6133700FDOQ6133700

Thomas Ågotnes, Zuojun Xiong

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

• Modal logic
• Dynamics of lying
• Intensional logics without iterative axioms
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Title not available (Why is that?)
• Neighborhood semantics for modal logic
• A logic for ignorance
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Modal Deconstruction of Access Control Logics
• Canonicity for intensional logics without iterative axioms
• ``Knowing whether, ``knowing that, and the cardinality of state spaces
• Resource bisimilarity and graded bisimilarity coincide
• CONTINGENCY AND KNOWING WHETHER
• The Pleasure of Gossip
• Group belief
• NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF

Cited In (1)

• Secret Writing on Dirty Paper: A Deterministic View

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)