SQEMA公司

模态逻辑中的算法对应性和完备性。四、 SQEMA的语义扩展。在[{it W.E.Conradie,V.F.Goranko}和{it D.Vakarelov},Log.Methods Comput.Sci.2,No.1,Paper 5(2006;Zbl 1126.03018)]中,我们介绍了计算一阶等价物和证明模态公式规范性的算法SQEMA,从而建立了一个非常普遍的对应关系和正则完备性结果。SQEMA是基于转换规则的,其中最重要的是使用了Ackermann结果的模态形式,它可以消除公式中存在的量化谓词变量,前提是该变量满足一定的负极性条件。本文发展了SQEMA的几个扩展,其中句法条件被语义条件所取代,即向下单调性。对于第一个也是最普遍的扩展SemSQEMA,我们证明了一大类模态公式的正确性,该公式包含Sahlqvist公式的一个扩展,其定义是用单调性代替极性。通过使用Lyndon单调性定理的一个特殊模态形式,并对Ackermann规则施加额外的要求,我们得到了SemSQEMA的限制版本,同时也保证了正则性。


zbMATH中的参考文献(参考文献40篇文章,1标准件)

显示第1到第20个结果,共40个。
按年份排序(引用)
  1. 从,Asta Halkjær:形式化的正确性和认识逻辑的完备性(2021)
  2. 康拉德,威廉;Palmigiano,Alessandra:非分配逻辑的算法对应性和规范性(2019)
  3. 康拉德,威廉;帕米吉亚诺,亚历山德拉;赵志光:Sahlqvist via translation(2019年)
  4. 霍利迪,韦斯利H。;Litak,Tadeusz:完全可加性和模态不完全性(2019)
  5. 劳里德森,弗雷德里克M.:接受结构超序列微积分的中级逻辑(2019)
  6. 康拉德,威廉;帕米吉亚诺,亚历山德拉;Sourabh,Sumit:代数模态对应:Sahlqvist and beyond(2017)
  7. 康拉德,威廉;Robinson,Claudette:论混合逻辑的Sahlqvist理论(2017)
  8. 贝母,沙宾;帕米吉亚诺,亚历山德拉;Santocanale,Luigi:有限格的对偶特征通过单调模态逻辑的对应理论(2017)
  9. 马明辉;赵志光:《严格蕴涵的统一对应与证明理论》(2017)
  10. 帕米吉亚诺,亚历山德拉;苏拉布、苏米特;赵志光:《阿尔巴不平等的乔森式典范》(2017)
  11. 帕米吉亚诺,亚历山德拉;苏拉布、苏米特;赵志光:《不可能世界的萨尔克维斯特理论》(2017)
  12. 杜恩施,伊沃;或łowska,Ewa;van Alten,Clint:(n)-幂MTL代数和2-幂BL代数的离散对偶(2016)
  13. 加拉齐,保罗;Lorini,Emiliano:认知逻辑与认知博弈论:多智能体Kripke模型与类型空间的比较(2016)
  14. Georgiev,Dimiter T.:确定性SQEMA与预接触逻辑应用(2016)
  15. 洛里尼,埃米利亚诺;萨托,乔凡尼:关于社会影响推理的斯蒂特逻辑(2016)
  16. 康拉德,威廉;福马塔提,伊夫;帕米吉亚诺,亚历山德拉;Sourabh,Sumit:直觉模态mu演算的算法对应(2015)
  17. Wernhard,Christoph:关系一元公式上的二阶量词消去——一种基本方法和一些不太期望的应用(2015)
  18. 比沙尼什维利,尼克;Ghilardi,Silvio:通过步代数和步进框架的有界证明性质(2014)
  19. Broersen,Jan:概率stit逻辑及其分解(2013)
  20. 洛里尼,埃米利亚诺;特罗夸德,尼古拉斯;赫齐格,安德烈亚斯;Broersen,Jan:《将权力根植于行动和精神态度》(2013年)