Pages that link to "Item:Q3457682"
From MaRDI portal
The following pages link to Game Theoretical Semantics for Paraconsistent Logics (Q3457682):
Displaying 13 items.
- Finite games for a predicate logic without contractions (Q1314388) (← links)
- A parallel game semantics for linear logic (Q1360314) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Truth in dialogue logic and game-theoretical semantics (GTS) (Q2811662) (← links)
- Parity Games and Propositional Proofs (Q2849902) (← links)
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence (Q3094009) (← links)
- (Q3574464) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807) (← links)
- Parity Games and Propositional Proofs (Q5169973) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859) (← links)
- Game-theoretic semantics for non-distributive logics (Q5241925) (← links)
- The Ceteris Paribus Structure of Logics of Game Forms (Q5253769) (← links)