Portál:Modální logiky: Porovnání verzí
(Nejsou zobrazeny 2 mezilehlé verze od stejného uživatele.) | |||
Řá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. ''Handbook of Modal Logic''. Elsevier, 2006. | ||
+ | * JONGH Dick de, VELTMAN Frank. ''Intensional logic''. Skripta, University of Amsterdam. | ||
+ | * 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.