论文信息 - Relating Algebraic and Coalgebraic Logics of Knowledge and Update

Relating Algebraic and Coalgebraic Logics of Knowledge and Update

We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of dynmic epistemic logic.

Corina Cîrstea | Mehrnoosh Sadrzadeh

[1] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[2] Bob Coecke,et al. Quantaloids Describing Causation and Propagation of Physical Properties , 2000 .

[3] Steven J. Vickers,et al. Quantales, observational logic and process semantics , 1993, Mathematical Structures in Computer Science.

[4] Mehrnoosh Sadrzadeh,et al. Epistemic Actions as Resources , 2007, J. Log. Comput..

[5] John Power. Towards a theory of mathematical operational semantics , 2003, CMCS.

[6] Michael Wooldridge,et al. Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications , 2002, COORDINATION.

[7] M. Sadrzadeh. Actions and resources in epistemic logic , 2006 .

[8] Corina Cîrstea,et al. A compositional approach to defining logics for coalgebras , 2004, Theor. Comput. Sci..

[9] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.

[10] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[11] Bart Jacobs,et al. The temporal logic of coalgebras via Galois algebras , 2002, Mathematical Structures in Computer Science.

[12] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .