AT25 Lógica de Godel-Lob (aula online)

31 maio 2021, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Linguagem da Lógica Modal. Axiomatização de GL. HBL3 como teorema de GL. Fecho de GL para a regra de Lob. Semântica de
Kripke para a Lógica Modal normal. Caracterização dos enquadramentos para 4 e para o axioma GL. Correcção de GL.