Validity in choice logics. A game-theoretic investigation

DOI10.1007/978-3-031-39784-4_13MaRDI QIDQ6118690

Michael Bernreiter, Robert Freiman

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

zbMATH Keywords

sequent calculusgame semanticschoice logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Qualitative choice logic
• Two alternatives for handling preferences in qualitative choice logic
• Giles's game and the proof theory of Łukasiewicz logic
• Choice logics and their computational properties
• Sequent calculi for choice logics
• From semantic games to provability: the case of Gödel logic
• Games for hybrid logic. From semantic games to analytic calculi
• Towards a Gradual QCL Model for Database Querying

This page was built for publication: Validity in choice logics. A game-theoretic investigation