机译:再谈破坏活动的模态逻辑
Univ Rennes, CNRS, IRISA, Campus de Beaulieu 263, Avenue du General Leclerc, 35042 Rennes Cedex, France;
ILLC, University of Amsterdam, P.O. Box 94242,1090 GE Amsterdam, The Netherlands Stanford University Tsinghua University;
University of Liverpool, Department of Computer Science, Ashton Building, Ashton Street, Liverpool L69 3BX, UK;
Modal logic; dynamic logic; graph change; fixed-point logic;
机译:再谈概率模态逻辑的表达
机译:重新确定不确定性和概率过程的双相似性及其模态逻辑
机译:再谈结构操作语义学和模态逻辑
机译:破坏模式逻辑:一些模型和证明理论方面
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:破坏模式逻辑:一些模型和证明理论方面