scientific article; zbMATH DE number 3190338
From MaRDI portal
Publication:5726697
Cited in
(25)- The logic of tasks
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
- Alternating-time temporal logic ATL with finitely bounded semantics
- A game semantics for linear logic
- Resource modalities in tensor logic
- Dialogspiele als Semantische Grundlage von Logikkalkülen
- Material dialogues for first-order logic in constructive type theory
- Introduction to computability logic
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Strict finitism and feasibility
- Full abstraction for PCF
- Build your own clarithmetic. I: Setup and completeness
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- The intuitionistic fragment of computability logic at the propositional level
- The Rényi-Ulam games and many-valued logics
- From truth to computability. I.
- Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents
- A game semantics for disjunctive logic programming
- Proof and refutation in MALL as a game
- Material dialogues for first-order logic in constructive type theory: extended version
- Toward the interpretation of non-constructive reasoning as non-monotonic learning
- A constructive game semantics for the language of linear logic
- A propositional cirquent calculus for computability logic.
- A semantic framework for proof evidence
- Alternating (in)dependence-friendly logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5726697)
