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

 
Řádek 16: Řádek 16:
 
* VENEMA Yde. ''Temporal logics.''
 
* VENEMA Yde. ''Temporal logics.''
  
[[Kategorie: Logiky|*]]
+
[[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.