Вопросы с тегом «modal-logic»

Немного предыстории: многозначные логики Лукасевича были заданы как модальные логики, а Лукасевич дал расширенное определение модального оператора: (который он приписывает Тарскому).◊ A =dе ф¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Это дает странную модальную логику с некоторыми парадоксальными, если не на первый взгляд абсурдными теоремами, в частности …

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

Я ищу модальные логики, которые аксиоматизируются конечным набором аксиом глубины модальной вложенности, и чья проблема выполнимости / выводимости вряд ли будет в PSPACE. Без ограничения глубины модального вложения это не проблема, см., Например, PDL. Но, по-видимому, при доказательстве, например, EXPTIME-твердости путем снижения до некоторой проблемы плиточности или проблемы приемлемости для …

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