Portál:Logika/Modální logiky: Porovnání verzí
(Založena nová stránka s textem „* Kripkovská sémantika * Dynamická epistemická logika | Logika veřejných vyhlášení * Kanonický model * Bisimulace | Emulace…“) |
(Žádný rozdíl)
|
(Založena nová stránka s textem „* Kripkovská sémantika * Dynamická epistemická logika | Logika veřejných vyhlášení * Kanonický model * Bisimulace | Emulace…“) |
(Žádný rozdíl)
|
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897