A Coalgebraic Semantics for Epistemic Programs
Author:
Open Access
- 31 July 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 82 (1) , 17-38
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A Logic for Suspicious Players: Epistemic Actions and Belief–Updates in GamesBulletin of Economic Research, 2002
- Reasoning about Information ChangeJournal of Logic, Language and Information, 1997