-------------------------------------------------------------------------------------
 Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF
  Seminário Registrado na CPG do IME/USP
   Página: http://www.ime.usp.br/~liamf/seminarios/
   --------------------------------------------------------------------------------------

Data:  15/10/2015
Horário: 14hs
Local: Auditório do CCSL

Título: Restricted LTL Contraction: on the uncomputability of partial meet contraction for LTL

Palestrante: Paulo T. Guerra

Resumo: In this talk we discuss some issues related to the application of the AGM paradigm to temporal logics. We focus on the linear-time temporal logic (LTL) and we show that the simple definition of a partial meet contraction for sets of LTL formulas is an undecidable problem. We discuss possible ways to address this problem and show that under certain restrictions it is possible to correctly define an operator of partial meet contraction.