Proof theory of epistemic logic of programs

Paolo Maffezioli, Alberto Naibo

OnderzoeksoutputAcademicpeer review

4 Citaten (Scopus)
781 Downloads (Pure)


A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give a step-by-step reconstruction of agents omniscience. In particular, its semantic assumptions are made explicit and a possible solution can be found in weakening the properties of the knowledge operator.
Originele taal-2English
Pagina's (van-tot)301-328
Aantal pagina's26
TijdschriftLogic and Logical Philosophy
Nummer van het tijdschrift3
Vroegere onlinedatum12-sep.-2013
StatusPublished - sep.-2014

Citeer dit