Proof theory of epistemic logic of programs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logic and Logical Philosophy Année : 2014

Proof theory of epistemic logic of programs

Résumé

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.

Dates et versions

hal-01251214 , version 1 (05-01-2016)

Identifiants

Citer

Paolo Maffezioli, Alberto Naibo. Proof theory of epistemic logic of programs. Logic and Logical Philosophy, 2014, 23 (3), pp.301-328. ⟨10.12775/LLP.2013.026⟩. ⟨hal-01251214⟩
146 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More