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

m
Řá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]]
  
 
[[Kategorie: Logika|M]]
 
[[Kategorie: Logika|M]]

Verze z 5. 9. 2014, 16:15