A game semantics for system P (Q514506): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
The works on game semantics for non-classical logics are finally getting more and more visible (including the current authors'). This paper presents a game semantics for a non-monotonic logic, called System P. The game is not easy. Its types are not straight-forward. Yet, the authors achieve it well to relate it to a well-known semantics of the System P, develop further technical results and achieve a completeness result. | |||
| Property / review text: The works on game semantics for non-classical logics are finally getting more and more visible (including the current authors'). This paper presents a game semantics for a non-monotonic logic, called System P. The game is not easy. Its types are not straight-forward. Yet, the authors achieve it well to relate it to a well-known semantics of the System P, develop further technical results and achieve a completeness result. / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Can Başkent / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 91A80 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6690914 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
non-monotonic consequence relations | |||
| Property / zbMATH Keywords: non-monotonic consequence relations / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
conditional logic | |||
| Property / zbMATH Keywords: conditional logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
belief revision | |||
| Property / zbMATH Keywords: belief revision / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
game semantics | |||
| Property / zbMATH Keywords: game semantics / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
dialogical logic | |||
| Property / zbMATH Keywords: dialogical logic / rank | |||
Normal rank | |||
Revision as of 03:45, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A game semantics for system P |
scientific article |
Statements
A game semantics for system P (English)
0 references
2 March 2017
0 references
The works on game semantics for non-classical logics are finally getting more and more visible (including the current authors'). This paper presents a game semantics for a non-monotonic logic, called System P. The game is not easy. Its types are not straight-forward. Yet, the authors achieve it well to relate it to a well-known semantics of the System P, develop further technical results and achieve a completeness result.
0 references
non-monotonic consequence relations
0 references
conditional logic
0 references
belief revision
0 references
game semantics
0 references
dialogical logic
0 references
