机译:代数模态逻辑的可表达性:极限和超越
Coalgebra; Modal logic; Predicate lifting; Expressivity; Compositionality;
机译:代数模态逻辑的可表达性:极限和超越
机译:代数模态mu-calculi的表达完备性定理
机译:关于赋集函子的表达共代数逻辑的一个注记
机译:拟跨型逻辑的表达性:限制和超越
机译:与自然合作的表现艺术:旨在促进人与自然结合的多模式表现生态心理学计划
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:代数模态逻辑的可表达性:极限与超越
机译:meal机器的代数逻辑与综合