Modal Logic notes
The whole lot: modal syntax and semantics. Normal modal logics and their interpretations.
Category: logic
Lecture notes for the Logic 2015-16 course (laurea magistrale)
Logic 22-23/03/2016
Preferential semantics. Soundness (and statement of Representation) theorem for rational consequence relations. Examples.
Logic 21/03/2016
Properties of preferential (and rational) consequence relations. Undesirable properties in the context of background ignorance (i.e. those rules of inference wh...
Logic 16/03/2016
Introduction and definition of preferential (and rational) consequence relations
Logic 14-15/03/2016
Last handout on classical logic with some exercises
Logic 09/03/2016
Notes on Tarskian consequence with some exercises on logical equivalence
Logic 08/03/2016
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 ...
Logic 02/03/2016
Notes and exercises for the lecture
Presentation of the first module
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 ...
Presentation of the Logic course
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...