Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais

Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais

Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de c...

Full description

Bibliographic Details
Main Author: Cibele Matos Freire
Other Authors: Ana Teresa de Castro Martins
Format: Others
Language:Portuguese
Published: Universidade Federal do Cearà 2010
Subjects:
Complexidade descritiva
Logica modal
Logicas de ordem superior
Hierarquia determinstica de tempo exponencial
Operadores de ponto fixo
Descriptive complexity
Modal logic
Higher-order logics
Deterministic exponential time hierarchy
Fixed-point operators
LOGICAS E SEMANTICA DE PROGRAMAS
Online Access:http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359

Internet

http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359

Similar Items