AT13 Lógica modal

12 dezembro 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Decidibildade da lógica modal K por redução a modelos finitos pela técnica da filtração.