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.
• BENTHEM Johan van, BLACKBURN Patrick. "Handbook of Modal Logic. Elsevier, 2006.
• JONGH Dick de, VELTMAN Frank. Intensional logic. Skripta, University of Amsterdam.
• VENEMA Yde. Temporal logics.