22/02/2021, 16:00 — 17:00 — Online
Cristina Sernadas, Instituto Superior Técnico
Facets and Parallel Universes of Modal Logic
Main concepts and results concerning the relational, algebraic and topological semantics.
Labelled deduction. A (not exhaustive) road map through different parallel universes: provability, temporal, logic of programs, deontic, epistemic, evidence and spatial logics. Some open questions and challenges.
See also
Escola de Inverno 2021 Crsitina Sernadas Facets and Parallel Wordls of Modal Logic.pdf
