Pages that link to "Item:Q636305"
From MaRDI portal
The following pages link to Proof and refutation in MALL as a game (Q636305):
Displaying 5 items.
- A semantic framework for proof evidence (Q1701039) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics (Q2963961) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
