Universidade Federal do Rio de Janeiro COPPE

Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia

Instituto de Matemática

 
Visualizar Meses
Visualizar Meses
Visualizar Flat
Visualizar Flat
Visualizar Semanas
Visualizar Semanas
Visualizar Dias
Visualizar Dias
Categorias
Categorias
Procurar
Procurar

Evento: 'Seminário: Dynamic Modal Logics - Changing Structures'

Eventos PESC (Palestras, Seminários, etc.)
Palestras, Seminários, etc. do PESC/COPPE/UFRJ.
Data: Monday, October 03, 2011 At 14:00
Duração: 2 Horas

No dia 3/10 teremos um seminário aqui na UFRJ como parte das atividades do grupo de interesse em Lógica no Rio de Janeiro,
http://www.rio-logic.org/.

Todos são muito benvindos, para maiores detalhes ver: http://www.rio-logic.org/start1.html

Data: 3/10/2011
Horário: 14 horas
Local: COPPE/Sistemas na sala H-324-A, no CT da UFRJ, Cidade Universitária.


Title: Dynamic Modal Logics - Changing Structures

Abstract:
In this talk I will present some modal languages that allows a real dynamic perspective over relational models. First of all, I will introduce the basic modal logic just to fix some notation, and then I will discuss two languages specially designed to express dynamic properties of models: Memory Logic and Swap Logic.

I will discuss some of the results we have already obtained for these logic as examples of their behavior. In particular I will show that the model checking problem for Memory Logic is PSpace-Complete (i.e., as hard as model checking full first-order logic); and a characterization of Swap Logic as a fragment of First Order Logic. The general message is that dynamic logics as the ones we presented are very expressive, and that while general techniques can be adapted to treat them, sometimes a new perspective is required.


Procurar no Calendário

Powered by ExtCalendar 2

© 2017 PESC/COPPE - Programa de Engenharia de Sistemas e Computação

Cidade Universitária, Centro de Tecnologia, Bloco H, Sala 319
Caixa Postal: 68511 CEP: 21941-972 Fones: +55 21 3938-8672 / +55 21 3938-8673 Fax: +55 21 3938-8676
Rio de Janeiro - RJ - Brasil
Horário de atendimento da Secretaria: 2a. a 6a. de 7:00 às 16:00 horas (exceto feriados escolares)