Pages that link to "Item:Q4586163"
From MaRDI portal
The following pages link to Game theoretical semantics for some non-classical logics (Q4586163):
Displaying 12 items.
- \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic (Q778417) (← links)
- Finite games for a predicate logic without contractions (Q1314388) (← links)
- Truth in dialogue logic and game-theoretical semantics (GTS) (Q2811662) (← links)
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence (Q3094009) (← links)
- (Q3329435) (← links)
- (Q3574464) (← links)
- (Q5021003) (← links)
- Game-theoretic semantics for non-distributive logics (Q5241925) (← links)
- The Ceteris Paribus Structure of Logics of Game Forms (Q5253769) (← links)
- Editorial introduction (Q6642818) (← links)
- A new game theoretic semantics (GTS-2) for weak Kleene logics (Q6642828) (← links)
- Truth diagrams for some non-classical and modal logics (Q6650730) (← links)