Seminari - Dipartimento Informatica validi dal 26.10.2026 al 26.10.2027. https://www.di.univr.it/?ent=seminario&rss=0 https://www.di.univr.it/?ent=seminario&rss=0&id=7102 Relatore: Dirk Pattinson; Provenienza: Australian National University (ANU); Data inizio: 2026-11-02; Ora inizio: 15.30; Note orario: in Auletta Atrio CV1; Referente interno: Peter Michael Schuster; Riassunto: Modal logic is an extension of propositional logic with operators that qualify in what way a statement can be true. For example, a sentence can lsquo;normallyrsquo; be true, or be lsquo;possiblyrsquo; or lsquo;likelyrsquo; true. We give an introduction to modal logic, with a particular emphasis on non-monotonic modal logicsmdash;systems that allow conclusions to be withdrawn in light of new information. We will cover key systems such as the logic of neccessity and possibility, but also default logic and probabilistic modal logic. We give semantics to the various logics in terms of possible world models, and ndash; based on the semantics ndash; investigate the mechanics of reasoning in the various different systems. The formal calculi that are of particular interest here are sequent and resolution calculi, as they directly give rise to decision procedures. We establish basic results such as completeness and cut-elimination. We conclude with applications in automated reasoning. and discuss the combination of modal logics and the computational complexity of decision procedures. The minicourse will be heldfrom 15:30 to 18:30 every Monday except 7th December from 2nd November to 14th December 2026, in Auletta Atrio CV1 , which is right to the left of the porters#39; lodge in Ca#39; Vignal 1. Mon, 2 Nov 2026 15:30:00 +0100 https://www.di.univr.it/?ent=seminario&rss=0&id=7102