Qual é a complexidade do problema de satisfação local para a lógica modal ? Aqui, denotamos por a lógica modal sobre quadros euclidianos estendidos com modalidade inversa. Você poderia fornecer alguma referência? Está em ? I K 5 N P
O que eu sei sobre o tópico?
É fácil ver que o está no , já que há uma redução para (o fragmento guardado de duas variáveis da lógica de primeira ordem) - consulte Decidindo lógicas gramaticais regulares com inversão através da lógica de primeira ordem .E x p T i m e G F 2
Por outro lado, o comum é completo.N P
Podemos escrever uma fórmula equisatisfatável em (o fragmento de uma variável da lógica de primeira ordem), porque os modelos podem ser divididos em três partes: (1) mundo inicial , (2) sucessores de (3) sucessores dos sucessores de . O exemplo de redução para uma lógica ainda mais difícil ( com modalidades classificadas) é descrito em Uma nota sobre a complexidade do problema de satisfação para lógicas modais classificadas . No entanto, na presença de uma modalidade inversa, não podemos fazer o mesmo truque - a breve idéia é que mundos inversos podem exigir o número diferente de sucessores. w w w K 5