Portál:Logika/Modální logiky

Verze z 9. 12. 2014, 22:00, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky) (Založena nová stránka s textem „* Kripkovská sémantika * Dynamická epistemická logika | Logika veřejných vyhlášení * Kanonický model * Bisimulace | Emulace…“)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)