Epistemic Actions as Resources

DOI10.1093/logcom/exm015zbMath1183.03010arXivmath/0608166OpenAlexW2167121581MaRDI QIDQ5431612

Bob Coecke, Mehrnoosh Sadrzadeh, Alexandru Baltag

Publication date: 12 December 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0608166

zbMATH Keywords

sequent calculuslinear logicalgebraic semanticsmulti-agent systemdynamic logicepistemic logicquantaleGalois adjointmuddy children puzzle

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Agent technology and artificial intelligence (68T42)

Related Items (21)

Ockham's razor and reasoning about information flow ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories ⋮ An Epistemic Separation Logic ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ Knowledge and Games in Modal Semirings ⋮ From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract) ⋮ A public announcement separation logic ⋮ Modes of adjointness ⋮ A sketch of a dynamic epistemic semiring ⋮ POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ A Substructural Epistemic Resource Logic ⋮ Classical Knowledge for Quantum Security ⋮ Aximo: Automated Axiomatic Reasoning for Information Update ⋮ Dynamic Epistemic Logic as a Substructural Logic

This page was built for publication: Epistemic Actions as Resources