巨像

cologos:Coalgebraic Logic satisfaidability Solver,Coalgebraic Logic satifisability Solver,Coalgebraic Logic satifisability Solver,Coalgebraic Logic satifisability Solver,Coalgebraic Logic satifisability Solver,Coalgebraic Logic satisfaibil。它实现了一个统一的多项式空间算法来判定符合coalgebric语义的模态逻辑的可满足性。这包括逻辑K,KD,Pauly的联合逻辑,分级模态逻辑和概率模态逻辑。通过以特定的格式提供语义的完整公理化,逻辑很容易集成到巨像中。此外,巨像是组合的:它综合了逻辑模块组合的决策过程,其中包括两个模态逻辑的融合作为一个特例。因此,人们可以自动地获得推理支持,例如在概率自动机上以不同方式结合非确定性和概率的逻辑。


zbMATH中的参考文献(参考文献14条,1标准件)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 马蒂,约翰尼斯;Pinsio,Riccardo:非单调因果关系与凸几何之间的离散对偶(2020)
  2. 法拉利,毛罗;佛罗伦萨,卡米洛;Fiorino,Guido:JTabWb:实现终止序列和表计算的Java框架(2017)
  3. 内格里,萨拉;Olivetti,Nicola:基于邻域语义的优先条件逻辑的顺序演算(2015)
  4. Abramsky,Samson:Coalgebras,Chu spaces,and representations of physical systems(2013年),Abramsky,Samson:Coalgebras,Chu spaces,and Representation of physical systems(2013年)
  5. 阿伦达,Ré地理信息系统;奥利维蒂,尼古拉;Pozzato,Gian Luca:条件逻辑的嵌套序列演算(2012)
  6. 奔驰ü勒,克里斯托夫;加贝,Dov;吉诺维塞,瓦莱里奥;Rispoli,Daniele:在经典高阶逻辑中嵌入和自动化条件逻辑(2012)
  7. 莱尔曼,北京ö注册护士;帕丁森,德克:刘易斯条件逻辑的顺序系统(2012)
  8. 斯特拉ßer,Christian:在正态性条件逻辑中的适应性应用(2012)
  9. 帕丁森,德克;雪儿öder,Lutz:应用于条件逻辑的一般模态割消去(2011)
  10. 戈尔é, 拉吉耶夫;库普克,克莱门斯;帕丁森,德克;雪儿öder,Lutz:煤炭描述逻辑的全局缓存(2010)
  11. 丹尼尔,豪斯曼;雪儿öder,Lutz:在巨像中优化条件逻辑推理(2010)ioport公司
  12. 雪儿ö德鲁兹;帕丁森,德克;Hausmann,Daniel:具有谨慎单调性的条件逻辑的最优表(2010)
  13. 卡林,乔治尔:巨人:煤矿逻辑可满足性求解器(2009)
  14. 迈尔斯,罗伯;帕丁森,德克;雪儿öder,Lutz:代数混合逻辑(2009)