A Game Semantics for Grz (Q3431966)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5142581
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Game Semantics for Grz |
scientific article; zbMATH DE number 5142581 |
Statements
A Game Semantics for Grz (English)
0 references
13 April 2007
0 references
game semantics
0 references
intuitionistic logic
0 references
modal logic Grz
0 references
Lorenzen's games
0 references
Lorenzen's semantics
0 references
dialogue games
0 references
dialogue semantics
0 references
0.7566243410110474
0 references
0.7554764151573181
0 references
0.7465798854827881
0 references
0.7462642192840576
0 references
0.744516909122467
0 references
