机译:非正常模态和故逻辑的高度高度计算:反模型和最佳复杂性
Aix Marseille Univ Univ Toulon LIS CNRS F-13013 Marseille France;
Tech Univ Wien A-1040 Vienna Austria;
Aix Marseille Univ Univ Toulon LIS CNRS F-13013 Marseille France;
Univ Fed Rio Grande do Norte Dept Matemat BR-59078970 Natal RN Brazil;
Non-normal modal logic; deontic logic; hypersequent calculus; neighbourhood semantics; countermodels; optimal complexity;
机译:线性框架的某些模态逻辑中超继结石的割细
机译:特刊“自然语言中的道义模态”,选自第十二届国际道义逻辑与规范系统国际会议(DEON,2014年)
机译:来自第12届国际文学逻辑和规范系统国际会议的自然语言选择和修订论文的特殊问题(DEON 2014)
机译:通过非正态模态逻辑的最优超序列计算构造反模型
机译:分解语音模型
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:反模型结构通过最佳的超高速计算用于非正常模态逻辑