The logic of secrets and the interpolation rule
From MaRDI portal
(Redirected from The logic of secrets and the interpolation rule)
Cites work
- ``Knowing whether, ``knowing that, and the cardinality of state spaces
- A logic for ignorance
- A Modal Deconstruction of Access Control Logics
- A Modal Logic for Coalitional Power in Games
- Canonicity for intensional logics without iterative axioms
- Contingency and knowing whether
- Dynamics of lying
- Group belief
- 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?)
- Intensional logics without iterative axioms
- Modal logic
- Neighborhood semantics for modal logic
- NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF
- 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
Cited in
(6)- Secret Writing on Dirty Paper: A Deterministic View
- Intentionally anonymous public announcements
- A uniform approach to axiomatizing bundled operators
- A logical perspective on intending to keep a true secret
- Radical ignorance and the Dunning-Kruger effect: an improved account of the logic involved
- Dynamic epistemic logic with private communication
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)
