Dissertação

Modal Logics for Reasoning about Distance Spaces EVALUATED

Começamos por dar uma visão global da lógica modal incluindo a sua linguagem, semântica de Kripke e axiomatização. São apresentados resultados gerais de correcção, completude e decidibilidade. Depois, concentramos a nossa atenção na lógica modal CSL (Comparative Similarity Logic) capaz de raciocinar sobre distâncias comparativas em espaços métricos. Depois de introduzirmos a linguagem e a semântica, provamos que a lógica é decidível sobre uma classe específica de espaços métricos. Finalmente, apresentamos uma definição de CSL usando a abordagem de multigrafos à definição de lógicas tendo em vista a possibilidade de combinar esta lógica com outras, seja por fibrilação seja por modalização "espacial".
Lógica modal, espaços de distância, lógicas espaciais, decidibilidade, abordagem de multigrafos à definição de lógicas

Janeiro 20, 2011, 14:30

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Maria Cristina De Sales Viana Serôdio Sernadas

Departamento de Matemática (DM)

Professor Catedrático