Games for hybrid logic. From semantic games to analytic calculi
From MaRDI portal
Publication:2148784
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
