机译:模态逻辑的典型表达
Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands;
Department of Computer Sciences, University of Salzburg, Jakob-Haringer-Str. 2, 5020 Salzburg, Austria;
modal logic; coalgebra; (dual) adjunction; Markov chains; Markov processes;
机译:概率模态逻辑的表达性:一种渐进的方法
机译:二阶命题模态逻辑:表达性和完整性结果
机译:二阶命题模态逻辑:表达性和完整性结果
机译:定量模态逻辑的表征:通过编音度和近似的分类基础
机译:与自然合作的表现艺术:旨在促进人与自然结合的多模式表现生态心理学计划
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:模态逻辑的示例性表达