«modal-logic» 태그된 질문

일부 배경 : Łukasiewicz 다치 논리는 모달 논리로 의도되었으며 Łukasiewicz는 모달 연산자 의 확장 정의를 제공했습니다. ◊ A =디전자 f¬ A → A◊ㅏ=디이자형에프¬ㅏ→ㅏ\Diamond A =_{def} \neg A \to A (Tarski의 속성) 이것은 몇 가지 역설적으로, 이상한 모달 논리를 제공 겉으로는 터무니없는 정리하는 경우, 특히 ( ◊ A ∧ ◊ B …

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

나는 모달 중첩 깊이 1의 유한 공리 세트에 의해 축합되고 만족도 / 파생 문제가 PSPACE에있을 것 같지 않은 모달 논리를 찾고 있습니다. 모달 중첩 깊이에 대한 제한 없이는 문제가되지 않습니다 (예 : PDL 참조). 그러나 튜링 기계의 타일링 문제 또는 수용 문제를 줄임으로써 예를 들어 EXPTIME-hardness를 증명할 때 깊이 2에서 …

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