Modal Logic notes
The whole lot: modal syntax and semantics. Normal modal logics and their interpretations.
Lecture notes for the Logic 2015-16 course (laurea magistrale)
The whole lot: modal syntax and semantics. Normal modal logics and their interpretations.
Preferential semantics. Soundness (and statement of Representation) theorem for rational consequence relations. Examples.
Properties of preferential (and rational) consequence relations. Undesirable properties in the context of background ignorance (i.e. those rules of inference wh...
Introduction and definition of preferential (and rational) consequence relations
Last handout on classical logic with some exercises
Notes on Tarskian consequence with some exercises on logical equivalence
Notes on the fundamental representation principles of classical logic and a little extra on many-valued logics (not an examinable part of the notes) useful for ...
Notes and exercises for the lecture
Slides introducing the First Module of (Logic LM 2015-16): Non monotonic logics Please note that the slides are not suitable for printing. If you really need ...
Slides introducing the Introduction to non-classical logics course (Logica LM 2015-16). Please note that the slides are not suitable for printing. If you really...