Game Semantics
178
浏览
0
关注

Game semantics (, translated as dialogical logic) is an approach to Formal semantics (logic)|formal semantics that grounds the concepts of truth or validity on game theory|game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes. 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...
[展开]
相关概念
Higher Order    
Proof Theory    
Polymorphism    
First Order    
主要的会议/期刊
演化趋势
Chart will load here
Game Semantics文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜