Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD

DOI10.1007/978-3-030-88853-4_25MaRDI QIDQ2148809zbMATH OpenOpenAlexFDO

Authors Aleksandra Mikhaĭlovna Pavlova

Publication date 24 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-88853-4_25

zbMATH Keywords

modal logicminimal logicprovability game

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• From semantic games to provability: the case of Gödel logic
• Some remarks on relations between proofs and games
• Games for hybrid logic. From semantic games to analytic calculi
• A Game Semantics for Grz
• A game semantics for system P

Cites work

• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 3677798 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• A Game Semantics for Grz
• Constructive negations and paraconsistency
• Dialogue games for minimal logic
• From games to dialogues and back. Towards a general frame for validity
• Giles's game and the proof theory of Łukasiewicz logic
• Logic games: from tools to models of interaction
• Logic in games
• Modal logics with functional alternative relations
• On Game Semantics of the Affine and Intuitionistic Logics
• Proof theory for functional modal logic
• Subminimal negation
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)

This page was built for publication: Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD

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