Marco Cerami
home
|
curriculum vitae
|
publications
|
teaching
|
research
An Introduction to Modal Logic: slides
An introduction to Modal Logic I: Introduction and Historical Remarks (10.10.2013)
An introduction to Modal Logic II: Syntax and Semantics (10.10.2013)
An introduction to Modal Logic III: Soundness of Normal Modal Logics (24.10.2013)
An introduction to Modal Logic IV: Canonical Completeness (24.10.2013)
An introduction to Modal Logic V: Axiomatic Extensions and Classes of Frames (7.11.2013)
An introduction to Modal Logic VI: Beyond Canonicity (7.11.2013)
An introduction to Modal Logic VII: The Finite Model Property (21.11.2013)
An introduction to Modal Logic VIII: Filtrations (21.11.2013)
An introduction to Modal Logic IX: Decidability (28.11.2013)
An introduction to Modal Logic X: PSPACE hardness (28.11.2013)
An introduction to Modal Logic XI: PSPACE completeness (part I) (5.12.2013)
An introduction to Modal Logic XII: PSPACE completeness (part II) (5.12.2013)
home
|
curriculum vitae
|
publications
|
teaching
|
research
Last update Jan 7, 2014.