Decidability; Labelled calculus; Logics of agency; Proof search; Proof theory; Propagation rules; Sequent; STIT logic;
机译:社会影响推理的STIT逻辑
机译:时间性STIT逻辑及其在规范推理中的应用
机译:使用维恩图执行逻辑推理:自动执行分类语句的三段论推理的算法
机译:自动仿照推理:证明 - 计算和符号逻辑的句法可辨ic
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:时间性STIT逻辑及其在规范推理中的应用
机译:描述使用语法更新的逻辑推理