Запитання з тегом «modal-logic»

Деякі передумови: valuukasiewicz багатозначна логіка була призначена як модальна логіка, а asukasiewicz дав розширене визначення модального оператора: ◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A (яке він приписує Тарському). Це дає дивну модальну логіку з деякими парадоксальними, якщо не на перший погляд абсурдними теоремами, зокрема (◊A∧◊B)→◊(A∧B)(◊A∧◊B)→◊(A∧B)(\Diamond A\land \Diamond B) \to \Diamond …

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

Я шукаю модальні логіки, які аксіоматизовані кінцевим набором аксіом модальної глибини вкладки один і проблема задоволеності / продуктивності навряд чи буде в PSPACE. Без обмеження на модальну глибину гніздування це не проблема, див., Наприклад, PDL. Але видається, що, наприклад, для підтвердження твердості EXPTIME шляхом зменшення до якоїсь проблеми плитки або …

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