Game Semantics

CHF 57.25
Auf Lager
SKU
ILP4ASHCKJQ
Stock 1 Verfügbar
Geliefert zwischen Mo., 10.11.2025 und Di., 11.11.2025

Details

Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz. At almost the same time as Lorenzen, Jaakko Hintikka developed a model-theoretical approach known in the literature as GTS. Since then, a number of different game semantics have been studied in logic. Shahid Rahman (Lille) and collaborators developed dialogic into a general framework for the study of logical and philosophical issues related to logical pluralism. At around 1995 this triggered a kind of Renaissance with lasting consequences. Actually this new philosophical impulse experienced a parallel renewal in the fields of theoretical computer sciences, computational linguistics, artificial intelligence and the formal semantics of programming languages triggered by the work of Johan van Benthem and collaborators in Amsterdam who looked thoroughly at the interface between logic and games.

Weitere Informationen

  • Allgemeine Informationen
    • GTIN 09786130750787
    • Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
    • EAN 9786130750787
    • Format Fachbuch
    • Titel Game Semantics
    • Herausgeber Alphascript Publishing
    • Anzahl Seiten 128
    • Genre Philosophie

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470