Games for hybrid logic. From semantic games to analytic calculi

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

Robert Freiman

Publication date: 24 June 2022

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

zbMATH Keywords

hybrid logicproof systemsgames

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Validity in choice logics. A game-theoretic investigation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Giles's game and the proof theory of Łukasiewicz logic
• Hybridizing concept languages
• Hybrid languages and temporal logic
• Modal logic as dialogical logic

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