Mathematics Winter School 

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