Portál:Modální logiky: Porovnání verzí
Řádek 11: | Řádek 11: | ||
* [[Logika otázek]] | * [[Logika otázek]] | ||
<br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br /> | <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. | + | * 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.'' | ||
[[Kategorie: Logiky|*]] | [[Kategorie: Logiky|*]] |
Verze z 5. 10. 2014, 16:51
- 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.