Questions tagged «modal-logic»

背景知识：Łukasiewicz多值逻辑旨在用作模态逻辑，Łukasiewicz给出了模态运算符的扩展定义： （他归因于Tarski）。◊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 (A\land B)¬A¬A\neg ABBB 但是，我已经意识到，当可能性运算符的定义应用于线性逻辑和其他子结构逻辑时，它就不那么荒谬了。本月初，我将对此进行非正式讨论。演讲的链接位于http://www.cs.st-andrews.ac.uk/~rr/pubs/lablunch-20110308.pdf （我询问子结构模态逻辑的原因之一是将这些逻辑的表达与使用此运算符进行比较。） 无论如何，我找到的唯一非批判性著作是A. Turquette在澳大利亚逻辑协会1997年年会上的演讲“ Tarski的Möglichkeit的概括”。抽象是在BSL 4（4）， http://www.math.ucla.edu/~asl/bsl/0404/0404-006.ps基本上Turquette建议在应用 -valued为逻辑 -state系统。（我无法获得此演讲的任何笔记，幻灯片或其他内容，因此，希望收到更多信息的人，我将不胜感激。）米mmmmmm 这里有人知道其他文章或论文吗？ （我没有任何应用程序，但是我发现这些属性足够有趣，值得推荐。）

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

我正在寻找模态逻辑，这些逻辑被模态嵌套深度为1的有限公理集所公理，并且其可满足性/可导性问题不太可能出现在PSPACE中。没有对模态嵌套深度的限制，这不是问题，例如参见PDL。但是，似乎在通过减少图灵机的某种贴砖问题或验收问题来证明EXPTIME硬度时，需要一种传递性，这在第二层是公理的。还有一些具有二进制形式的不确定逻辑（Kurucz et al .：具有二进制形式的可确定和不确定逻辑，1995年），但是它们通常需要关联性，这也是第二层。在条件逻辑中，再次似乎我们需要深度2来提高EXPTIME的硬度（Friedman，Halpern：关于条件逻辑的复杂性，1994年）。 我们可以使用嵌套深度为1的公理来获得EXPTIME硬度吗？ 背景：我们正在尝试为嵌套深度为1的逻辑找到具有高度复杂性的通用决策程序。

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