Portál:Modální logiky

• 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

Doporučená literatura

• BLACKBURN Patrick, de RIJKE Maarten, VENEMA Yde. Modal Logic. Cambridge University Press, 2002.* JONGH Dick de, VELTMAN Frank. Intensional logic. Skripta, University of Amsterdam.* BENTHEM Johan van, BLACKBURN Patrick. "Handbook of Modal Logic. Elsevier, 2006.* VENEMA Yde. Temporal logics.