Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Sadrzadeh, Mehrnoosh and Cirstea, Corina (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In, Logic and the Foundations of Game and Decision Theory, University of Liverpool, 13 - 16 Jul 2006. University of Liverpool.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (147Kb) |
Description/Abstract
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: July 13-16 |
| Keywords: | algebra, coalgebra, logic, knowledge, actions, update, multi-agent systems |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 262836 |
| Date Deposited: | 12 Jul 2006 |
| Last Modified: | 02 Mar 2012 11:40 |
| Contributors: | Sadrzadeh, Mehrnoosh (Author) Cirstea, Corina (Author) van der Hoek, Wiebe (Editor) Wooldridge, Michael (Editor) Bonanno, Giacomo (Editor) |
| Date: | 2006 |
| Additional Information: | Event Dates: July 13-16 |
| Status: | Published |
| Publisher: | University of Liverpool |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/262836 |
Actions (login required)
 |
View Item |
