Dynamická logika
The Dynamic Logic
Author(s): Jaroslav PeregrinSubject(s): Logic
Published by: Filozofický ústav SAV
Summary/Abstract: Teorie tvořená tčmito dvěma výroky je , mčfeno běžnými logickými standardy, zjevně konzistentní. Znázorněno prostředky modálni či intenzionální logiky výrok ( I ) říká, že existuje nějaký možný svět (dosažitelný z toho našeho, pokud pracujeme s kripkovskou relací dosažitelnosti), ve kterém prší; zatímco ( 2 ) říká, že tímto světem není přímo ten náš.
Journal: Organon F
- Issue Year: 7/2000
- Issue No: 3
- Page Range: 338-348
- Page Count: 11
- Language: Czech