A measure of logical inference and its game theoretical applications

DOI10.1007/978-3-642-24130-7_10MaRDI QIDQ3094002zbMATH OpenOpenAlexFDO

Authors 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

classical logicgame theoretic decision makingGentzen-style sequent calculusintuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• Game logic and its applications. II
• Finite games for a predicate logic without contractions
• Game logic and its applications. I
• scientific article; zbMATH DE number 2051378
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic

Cites work

• Epistemic models of shallow depths and decision making in games: Horticulture
• Game logic and its applications. I
• scientific article; zbMATH DE number 1215500 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• Inductive game theory: a basic scenario
• Polynomial size proofs of the propositional pigeonhole principle
• The complexity of Gentzen systems for propositional logic

Cited in

(1)

• scientific article; zbMATH DE number 7594123 (Why is no real title available?)

This page was built for publication: A measure of logical inference and its game theoretical applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094002)