scientific article; zbMATH DE number 3190338
From MaRDI portal
Publication:5726697
zbMath0117.01303MaRDI QIDQ5726697
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
Dialogues and Proofs; Yankov’s Contribution to Proof Theory ⋮ Dialogspiele als Semantische Grundlage von Logikkalkülen ⋮ The intuitionistic fragment of computability logic at the propositional level ⋮ A constructive game semantics for the language of linear logic ⋮ A game semantics for disjunctive logic programming ⋮ Strict finitism and feasibility ⋮ Alternating (in)dependence-friendly logic ⋮ Material dialogues for first-order logic in constructive type theory ⋮ A semantic framework for proof evidence ⋮ Introduction to computability logic ⋮ Resource modalities in tensor logic ⋮ Proof and refutation in MALL as a game ⋮ Build your own clarithmetic I: Setup and completeness ⋮ Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking ⋮ A game semantics for linear logic ⋮ The Rényi-Ulam games and many-valued logics ⋮ From truth to computability. I. ⋮ Toward the interpretation of non-constructive reasoning as non-monotonic learning ⋮ Alternating-time temporal logic ATL with finitely bounded semantics ⋮ The logic of tasks ⋮ Full abstraction for PCF ⋮ Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics
This page was built for publication:
