Games for hybrid logic. From semantic games to analytic calculi

DOI10.1007/978-3-030-88853-4_9OpenAlexW3202889090MaRDI QIDQ2148784FDOQ2148784

Authors: Robert Freiman 

Publication date: 24 June 2022

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

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

zbMATH Keywords

gameshybrid logicproof systems

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Logic in games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kripke completeness revisited
• Hybrid languages and temporal logic
• Hybridizing concept languages
• Modal logic as dialogical logic
• Giles's game and the proof theory of Łukasiewicz logic

Cited In (5)

• Title not available (Why is that?)
• Logic and games on automatic structures. Playing with quantifiers and decompositions
• Automated Reasoning with Analytic Tableaux and Related Methods
• Group Announcements: Logic and Games (Abstract of Invited Talk)
• Validity in choice logics. A game-theoretic investigation

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)