Results found: 1

Search results

Search:
in the keywords: structural proof theory

Sort By:

Limit search:

Proof theory of epistemic logic of programs

100%

Maffezioli P., Naibo A.

Logic and Logical Philosophy

2014

vol. 23

issue 3

301–328

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.

Refine search results

1 Logic and Logical Philosophy

1 Maffezioli P.

1 Naibo A.

1 2014

Search results

Proof theory of epistemic logic of programs