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

DOI10.1007/978-3-030-88853-4_25OpenAlexW3208946267MaRDI QIDQ2148809

Alexandra 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)

Cites Work

• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Constructive negations and paraconsistency
• Giles's game and the proof theory of Łukasiewicz logic
• Modal logics with functional alternative relations
• Subminimal negation
• Proof theory for functional modal logic
• A Game Semantics for Grz
• On Game Semantics of the Affine and Intuitionistic Logics
• Dialogue Games for Minimal Logic
• Logic Games: From Tools to Models of Interaction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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