Seminari - Dipartimento Computer Science validi dal 10.08.2020 al 10.08.2021. https://www.di.univr.it/?ent=seminario&rss=0 https://www.di.univr.it/?ent=seminario&rss=0&id=5168 Relatore: Stefania Centrone; Provenienza: TU Berlin; Data inizio: 2020-08-24; Note orario: Registered lectures (video & audio); Referente interno: Peter Michael Schuster; Riassunto: Modal logics capture concepts of necessity and possibility; intuitionistic logic models computation and construction. This minicourse is intended to introduce into both kinds of logic with particular attention on their interaction, from the angles of syntax and semantics but with a certain proof-theoretic flavour. One highlight will be Gouml;del#39;s embedding of intuitionistic propositional logic into the modal logic S4, which stood at the beginning of provability logic. Mon, 24 Aug 2020 00:00:00 +0200 https://www.di.univr.it/?ent=seminario&rss=0&id=5168 https://www.di.univr.it/?ent=seminario&rss=0&id=5151 Relatore: various; Provenienza: IAC - CNR - Rome; Data inizio: 2020-09-01; Note orario: online course; Referente interno: Giandomenico Orlandi; Riassunto: Online course offered by IAC - CNR Institute for Applications of Calculus - Rome , member of tECMI European Consortium for Mathematics in Industry registration is free. Webpage: www.corsotraduttoretecnologico.it. Tue, 1 Sep 2020 00:00:00 +0200 https://www.di.univr.it/?ent=seminario&rss=0&id=5151