Portál:Modální logiky: Porovnání verzí
| Řádek 16: | Řádek 16: | ||
* VENEMA Yde. ''Temporal logics.'' | * VENEMA Yde. ''Temporal logics.'' | ||
| − | [[Kategorie: | + | [[Kategorie: Logika]] |
Aktuální verze z 3. 12. 2014, 21:29
- Kripkovská sémantika
- Dynamická epistemická logika
- Logika veřejných vyhlášení
- Kanonický model
- Bisimulace
- Emulace
- Minimální normální modální logika
- Logika S5
- Logika C
- Logika otázek
- BLACKBURN Patrick, de RIJKE Maarten, VENEMA Yde. Modal Logic. Cambridge University Press, 2002.
- BENTHEM Johan van, BLACKBURN Patrick. Handbook of Modal Logic. Elsevier, 2006.
- JONGH Dick de, VELTMAN Frank. Intensional logic. Skripta, University of Amsterdam.
- VENEMA Yde. Temporal logics.
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897
