From Semantic Games to Provability: The Case of Gödel Logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1572-8730
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
From Semantic Games to Provability: The Case of Gödel Logic ; day:25 ; month:10 ; year:2021 ; pages:1-28
Studia logica ; (25.10.2021), 1-28

Urheber
Pavlova, Alexandra
Freiman, Robert
Lang, Timo
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s11225-021-09966-x
URN
urn:nbn:de:101:1-2022010519550224697031
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:29 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Pavlova, Alexandra
  • Freiman, Robert
  • Lang, Timo
  • SpringerLink (Online service)

Ähnliche Objekte (12)

Gödel's excursions into intuitionistic logic

Akten

Gödel's excursions into intuitionistic logic

Ten problems in Gödel logic

Ten problems in Gödel logic

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic

Mechanising Gödel–Löb Provability Logic in HOL Light

Mechanising Gödel–Löb Provability Logic in HOL Light

Involutive symmetric Gödel spaces, their algebraic duals and logic

Involutive symmetric Gödel spaces, their algebraic duals and logic

Logic and game theory

Arbeitspapier

Logic and game theory

Goedel

Akten

Goedel

Goedel

Akte

Goedel

Goedel

Text

Goedel

Goedel

Text

Goedel

Goedel

Text

Goedel

Von Neumann Explains His Game Theory to Gödel, September 1940

Von Neumann Explains His Game Theory to Gödel, September 1940

Verbundene Objekte