SQEMA公司

模态逻辑中的算法对应性和完备性。四、 SQEMA的语义扩展。在{it W.E.Conradie,V.F.Goranko}和{it D.Vakarelov},日志。方法计算。科学。并首次提出了规范化算法,证明了第112ZB-1号算法的完备性。SQEMA是基于转换规则的,其中最重要的是使用了Ackermann结果的模态形式,它可以消除公式中存在的量化谓词变量,前提是该变量满足一定的负极性条件。在本文中,我们发展了几个SQEMA的扩展,其中语法条件被语义条件代替,即。向下单调性。对于第一个也是最普遍的扩展SemSQEMA,我们证明了一大类模态公式的正确性,该公式包含Sahlqvist公式的一个扩展,其定义是用单调性代替极性。通过使用Lyndon单调性定理的一个特殊模态形式,并对Ackermann规则施加额外的要求,我们得到了SemSQEMA的限制版本,同时也保证了正则性。


数学参考文献,1标准件)

显示结果1到20,共38个。
按年份排序(引用)
  1. 康拉德,威廉;帕尔米吉亚诺,亚历山德拉:非分配逻辑的算法对应性和规范性(2019)
  2. 康拉德,威廉;帕尔米吉亚诺,亚历山德拉;赵志光:萨赫勒克维斯特通过翻译(2019年)
  3. Holliday,Wesley H.;Litak,Tadeusz:完全可加性和模态不完全性(2019)
  4. 劳里德森,弗雷德里克M.:接受结构超序列微积分的中级逻辑(2019)
  5. 康拉德、威廉;帕尔米吉亚诺、亚历山德拉;苏拉布、苏米特:代数模态对应:萨赫克维斯特与超越(2017)
  6. 康拉德,威廉;罗宾逊,克劳迪特:论混合逻辑的萨尔克维斯特理论(2017)
  7. Frittella,Sabine;Palmigiano,Alessandra;Santocanale,Luigi:通过单调模态逻辑对应理论对有限格的双重刻画(2017)
  8. 马明辉;赵志光:严格蕴涵的统一对应与证明理论(2017)
  9. Palmigiano,Alessandra;Sourabh,Sumit;Zhao,Zhiguang:Jónsson式的ALBA不平等规范(2017)
  10. Palmigiano,Alessandra;Sourabh,Sumit;Zhao,Zhiguang:不可能世界的Sahlqvist理论(2017)
  11. Düntsch,Ivo;Orłowska,Ewa;van Alten,Clint:(n)-幂MTL代数和2-幂BL代数的离散对偶(2016)
  12. Galeazzi,Paolo;Lorini,Emiliano:认知逻辑与认知博弈论:多智能体Kripke模型与类型空间的比较(2016)
  13. Lorini,Emiliano;Sartor,Giovanni:关于社会影响推理的STIT逻辑(2016)
  14. Conradie,Willem;Fomatati,Yves;Palmigiano,Alessandra;Sourabh,Sumit:直觉模态mu演算的算法对应(2015)
  15. Wernhard,Christoph:关系一元公式上的二阶量词消去——一种基本方法和一些不太期望的应用(2015)
  16. Bezhanishvili,Nick;Ghilardi,Silvio:通过步代数和步进框架的有界证明性质(2014)
  17. Broersen,Jan:概率stit逻辑及其分解(2013)
  18. Lorini,Emiliano;Troquard,Nicolas;Herzig,Andreas;Broersen,Jan:将权力根植于行动和心理态度(2013)
  19. Ciabattoni,Agata;Galatos,Nikolaos;Terui,Kazushige:子结构逻辑的代数证明理论:割消去和补全(2012)
  20. Conradie,Willem;Palmigiano,Alessandra:分配模态逻辑的算法对应性和规范性(2012)