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]] | ||