The logic of secrets and the interpolation rule
From MaRDI portal
Publication:6133700
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
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)