Pages that link to "Item:Q5241925"
From MaRDI portal
The following pages link to Game-theoretic semantics for non-distributive logics (Q5241925):
Displaying 12 items.
- A game semantics for system P (Q514506) (← links)
- Finite games for a predicate logic without contractions (Q1314388) (← links)
- A parallel game semantics for linear logic (Q1360314) (← links)
- Representation of game algebras (Q1425190) (← links)
- Non-angelic concurrent game semantics (Q1652962) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Game theoretical semantic for relevant logic (Q2811655) (← links)
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence (Q3094009) (← links)
- A Game Semantics for Grz (Q3431966) (← links)
- (Q3574464) (← links)
- (Q4263866) (← links)
- The Ceteris Paribus Structure of Logics of Game Forms (Q5253769) (← links)