平方码

模态逻辑中的算法对应与完备性。四、SqEMA的语义扩展。在[{ W. E. Conradie,V. F. Goranko }和{ D. Vakarelov },log中。方法计算机。SCI。2、1、5(2006;ZBL 1126.03018),介绍了一种计算一阶等价的算法SqEMA,并证明了模态公式的正则性,从而建立了非常一般的对应关系和规范完备性结果。SqEMA基于变换规则,其中最重要的是采用阿克曼的结果的模态版本,它能够消除公式中存在的量化谓词变量,只要满足该变量上的某个负极性条件即可。在本文中,我们开发了几个扩展的SqEMA,其中句法条件被替换为语义一,即。向下单调性。对于第一个,也是最一般的推广SimqEMA,我们证明了一个包含一个扩展的SAHLQVIST公式的一大类模态公式的正确性,该公式是用单调性替换极性来定义的。通过使用林顿单调性定理的一个特殊的模态版本,并对阿克曼规则施加附加的要求,我们得到了保证规范性的SimqEMA的限制性版本。


ZBMaX中的参考文献(38篇)1标准条款

显示结果1至20的38。
按年份排序(引文
  1. Conradie,Willem;PalMigiaNo,Alessandra:算法对应和非分配逻辑的规范性(2019)
  2. Conradie,Willem;帕尔米加诺,Alessandra;赵,支光:萨尔克维斯特通过翻译(2019)
  3. 霍利迪,Wesley H.;LITAK,Tadeusz:完全可加性与模态不完备性(2019)
  4. Laulid森,Frederik M.:承认结构超演算的中间逻辑(2019)
  5. Conradie,Willem;PalMigiaNo,Alessandra;Sourabh,SUMIT:代数模态对应:SaulqVistt和Excel(2017)
  6. Conradie,Willem;鲁滨孙,克劳德特:关于混合逻辑的SaulqVistt理论(2017)
  7. Frittella,Sabine;PalmimiaNo,Alessandra;StangoCalayle,路易吉:基于单调模态逻辑对应理论的有限格的对偶刻画(2017)
  8. 马,Minghui;赵,支光:严格蕴涵的统一对应与证明理论(2017)
  9. Palmigiano,Alessandra;Sourabh,SUMIT;赵,支光:J不等式的阿尔巴不等式典范(2017)
  10. Palmigiano,Alessandra;Sourabh,苏米特;赵,支光:萨哈克维斯特不可能世界理论(2017)
  11. Ivo,或OWSKA,Ewa;van Alten,Cult:(n)-强MTL代数和2-有效BL-代数的离散对偶(2016)
  12. Galeazzi、Paolo、Lorini、埃米利亚诺:Epistemic逻辑满足认知博弈论:多Agent克里普克模型与类型空间的比较(2016)
  13. Lorini、埃米利亚诺、萨托、乔凡尼:社会影响力推论的逻辑(2016)
  14. Conradie,Willem;FMOATATI,Yves;PalmimiaNo,Alessandra;Sourabh,SUMIT:直觉模态MU演算的算法对应(2015)
  15. Wernhard,克里斯托夫:关系单数公式的二阶量词消去——一种基本方法和一些不太期望的应用(2015)
  16. Bezhanishvili,Nick;Gialdif,西尔维奥:通过步代数和步进框架的有界证明性质(2014)
  17. Broersen,简:概率STITT逻辑及其分解(2013)
  18. Lorini、埃米利亚诺、特洛夸德、尼古拉斯、赫尔茨格、安德烈亚斯、布罗森、简:行动与精神态度的接地力量(2013)
  19. Ciabattoni,AgaTa;GalATOS,NIKOLAOS;TeUI,Kasuige:子结构逻辑的代数证明理论:切割消除和完备性(2012)
  20. Conradie,Willem;PalMigiaNo,Alessandra:分配模态逻辑的算法对应和规范性(2012)