Games for hybrid logic. From semantic games to analytic calculi

DOI10.1007/978-3-030-88853-4_9MaRDI QIDQ2148784zbMATH OpenOpenAlexFDO

Authors Robert Freiman

Publication date 24 June 2022

Full work available at URL https://arxiv.org/abs/2206.00349

zbMATH Keywords

gameshybrid logicproof systems

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Some remarks on relations between proofs and games
• Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD
• Propositional games with explicit strategies
• Game logic -- an overview
• Games and full completeness for multiplicative linear logic

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?)
• Giles's game and the proof theory of Łukasiewicz logic
• Hybrid languages and temporal logic
• Hybridizing concept languages
• Kripke completeness revisited
• Logic in games
• Modal logic as dialogical logic

Cited in

(5)

• Group Announcements: Logic and Games (Abstract of Invited Talk)
• Logic and games on automatic structures. Playing with quantifiers and decompositions
• scientific article; zbMATH DE number 6930552 (Why is no real title available?)
• Validity in choice logics. A game-theoretic investigation
• Automated Reasoning with Analytic Tableaux and Related Methods

This page was built for publication: Games for hybrid logic. From semantic games to analytic calculi

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