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 | + | * BLACKBURN Patrick, de RIJKE Maarten, VENEMA Yde. ''Modal Logic''. Cambridge University Press, 2002. |
− | * BENTHEM Johan van, BLACKBURN Patrick. | + | * BENTHEM Johan van, BLACKBURN Patrick. ''Handbook of Modal Logic''. Elsevier, 2006. |
− | * JONGH Dick de, VELTMAN Frank. ''Intensional logic | + | * JONGH Dick de, VELTMAN Frank. ''Intensional logic''. Skripta, University of Amsterdam. |
* VENEMA Yde. ''Temporal logics.'' | * VENEMA Yde. ''Temporal logics.'' | ||
[[Kategorie: Logiky|*]] | [[Kategorie: Logiky|*]] |
Verze z 5. 10. 2014, 16:52
- 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.