Imagen de Portada
Código QR

PROOF THEORY OF EPISTEMIC LOGIC OF PROGRAMS.

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...

Descripción completa

Publicado en:Logic & Logical Philosophy Vol. 23; no. 3; pp. 301 - 329
Autores principales: Maffezioli, Paolo, Naibo, Alberto
Formato: Artículo
Publicado: Logic & Logical Philosophy 2014
Materias:
Epistemic logic
Proof theory
Modality (Theory of knowledge)
Axioms
Awareness
Game theory
Acceso en línea:Ver este registro en EBSCOhost