Pages that link to "Item:Q3511445"
From MaRDI portal
The following pages link to On Game Semantics of the Affine and Intuitionistic Logics (Q3511445):
Displaying 8 items.
- Logic and games on automatic structures. Playing with quantifiers and decompositions (Q555655) (← links)
- On abstract resource semantics and computability logic (Q980944) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- (Q2968408) (← links)
- Group Announcements: Logic and Games (Abstract of Invited Talk) (Q3582732) (← links)
- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (Q3613327) (← links)
- (Q4222836) (← links)
- The Ceteris Paribus Structure of Logics of Game Forms (Q5253769) (← links)