Portál:Modální logiky: Porovnání verzí
| Řádek 10: | Řádek 10: | ||
* [[Logika C]] | * [[Logika C]] | ||
* [[Logika otázek]] | * [[Logika otázek]] | ||
| + | <br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br /> | ||
| + | * BLACKBURN Patrick, de RIJKE Maarten, VENEMA Yde. ''Modal Logic.'' Cambridge University Press, 2002.* JONGH Dick de, VELTMAN Frank. ''Intensional logic.'' Skripta, University of Amsterdam.* BENTHEM Johan van, BLACKBURN Patrick. "Handbook of Modal Logic''. Elsevier, 2006.* VENEMA Yde. ''Temporal logics.'' | ||
[[Kategorie: Logiky|*]] | [[Kategorie: Logiky|*]] | ||
Verze z 5. 10. 2014, 16:49
- 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.* JONGH Dick de, VELTMAN Frank. Intensional logic. Skripta, University of Amsterdam.* BENTHEM Johan van, BLACKBURN Patrick. "Handbook of Modal Logic. Elsevier, 2006.* 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
