scientific article; zbMATH DE number 1472846

MaRDI QIDQ4490131zbMATH OpenFDO

Authors Jaakko Hintikka

Publication date 23 July 2000

zbMATH Keywords

game-theoretical semanticsindependence-friendly logicproof theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Applications of game theory (91A80)

Recommendations

• scientific article; zbMATH DE number 2226182
• scientific article; zbMATH DE number 2236605
• Truth in dialogue logic and game-theoretical semantics (GTS)
• Extended game-theoretical semantics
• Languages for imperfect information

Cited in

(9)

• Games in the semantics of programming languages -- an elementary introduction
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• scientific article; zbMATH DE number 6694177 (Why is no real title available?)
• Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
• scientific article; zbMATH DE number 3861115 (Why is no real title available?)
• Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
• scientific article; zbMATH DE number 1231521 (Why is no real title available?)
• scientific article; zbMATH DE number 1302495 (Why is no real title available?)
• scientific article; zbMATH DE number 2226182 (Why is no real title available?)

This page was built for publication:

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