Portál:Modální logiky: Porovnání verzí

m
 
(Není zobrazeno 6 mezilehlých verzí od stejného uživatele.)
Řádek 1: Řádek 1:
  
 +
* [[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]]
 +
<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.
 +
* 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: Logika|M]]
+
[[Kategorie: Logika]]

Aktuální verze z 3. 12. 2014, 21:29


Doporučená literatura


  • 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.
Citováno z „https://wikisofia.cz/w/index.php?title=Portál:Modální_logiky&oldid=11280“