Proof theory of epistemic logic of programs

MaRDI QIDQ4982512zbMATH OpenFDO

Authors Paolo Maffezioli, Alberto Naibo

Publication date 9 April 2015

zbMATH Keywords

dynamic propositional logicepistemic logicepistemic paradoxlabelled sequent calculusstructural proof theory

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Recommendations

• An epistemic logic of extensive games
• Reasoning about games
• A modal logic of epistemic games
• Epistemic games in modal logic: Joint actions, knowledge and preferences all together
• scientific article; zbMATH DE number 2212572

Cited in

(9)

• Recapturing dynamic logic of relation changers via bounded morphisms
• Adding proof calculi to epistemic logics with structured knowledge
• Formalized soundness and completeness of epistemic logic
• Logics for epistemic programs
• Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
• Epistemic games in modal logic: Joint actions, knowledge and preferences all together
• scientific article; zbMATH DE number 1989657 (Why is no real title available?)
• Aximo: automated axiomatic reasoning for information update
• Computational Logic in Multi-Agent Systems

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Proof theory of epistemic logic of programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982512)