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 calculus linear logic algebraic semantics multi-agent system dynamic logic epistemic logic quantale Galois adjoint muddy 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

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