Fiche du document
1 septembre 2014
- handle: 10670/1.to06ch
- hal: hal-01251214
- doi: 10.12775/LLP.2013.026
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.12775/LLP.2013.026
Mots-clés
epistemic logic dynamic propositional logic structural proof theory labelled sequent calculus epistemic paradoxCiter ce document
Paolo Maffezioli et al., « Proof theory of epistemic logic of programs », HAL-SHS : philosophie, ID : 10.12775/LLP.2013.026
Métriques
Partage / Export
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.