A Measure of Logical Inference and Its Game Theoretical Applications

DOI10.1007/978-3-642-24130-7_10zbMath1298.91051OpenAlexW169874345MaRDI QIDQ3094002

Mamoru Kaneko, Nobu-Yuki Suzuki

Publication date: 19 October 2011

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24130-7_10

zbMATH Keywords

intuitionistic logicclassical logicGentzen-style sequent calculusgame theoretic decision making

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Complexity of proofs (03F20)

Cites Work

• Unnamed Item
• Unnamed Item
• The complexity of Gentzen systems for propositional logic
• Inductive game theory: a basic scenario
• Game logic and its applications. I
• Polynomial size proofs of the propositional pigeonhole principle
• Epistemic models of shallow depths and decision making in games: Horticulture

This page was built for publication: A Measure of Logical Inference and Its Game Theoretical Applications