Perguntas com a marcação «modal-logic»

Alguns antecedentes: lógicas de muitos valores Łukasiewicz foram concebidas como lógicas modais, e Łukasiewicz deu uma definição extensional do operador modal: (que ele atribui a Tarski).◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Isso fornece uma lógica modal estranha, com alguns teoremas paradoxais, se não aparentemente absurdos, notadamente . Substitua por …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Estou procurando lógicas modais, axiomatizadas por um conjunto finito de axiomas de profundidade de aninhamento modal um e cujo problema de satisfação / derivabilidade dificilmente estará no PSPACE. Sem a restrição na profundidade de aninhamento modal, isso não é um problema, consulte, por exemplo, PDL. Mas parece que, ao provar, …

12 cc.complexity-theory  lo.logic  modal-logic 

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 PI K 5EuK5\mathit{IK5}EuK5EuK5IK5NPNPNP O que eu sei sobre o tópico? É …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic