Pages that link to "Item:Q5569434"
From MaRDI portal
The following pages link to Dialogspiele als Semantische Grundlage von Logikkalkülen (Q5569434):
Displaying 18 items.
- Inconsistency-adaptive dialogical logic (Q263112) (← links)
- First-order dialogical games and tableaux (Q484155) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Dialogues, strategies, and intuitionistic provability (Q1061740) (← links)
- Modal quantum logic and its dialogic foundation (Q1148903) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- A non-classical logic for physics (Q1224574) (← links)
- Quantum logic of quantifiers (Q1241508) (← links)
- Is (quantum) logic empirical? (Q1243709) (← links)
- How does quantum logic correspond to physical reality? (Q1250217) (← links)
- A constructive game semantics for the language of linear logic (Q1361252) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- The logic of tasks (Q1849860) (← links)
- From games to truth functions: a generalization of Giles's game (Q2016084) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Alternating (in)dependence-friendly logic (Q6076360) (← links)
