Mathematical Logic Webinar

A journey through 4-valued Modal and Hybrid Logics

Sala 6.2.33, Ciências ULisboa (com transmissão via Zoom)

Por Diana Costa (Universidade de Lisboa).

In this talk I will present Modal Logic and its extension to Hybrid Logic, in their classical formulation. Then, I will introduce 4-valued versions of each of them: I will start with an overview of 4-valued Modal Logics in literature, and I will explain why do I think neither of them captures the real meaning of modal operators. From there, I will introduce you to 4-valued Hybrid Logic, where modal operators are not dual.


Transmissão via Zoom.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional