...
机译:模态逻辑中的通货膨胀定点
University of Cambridge Computer Laboratory, Cambridge CB3 0FD, UK;
fixed-point logics; modal logic; expressive power; decidability; complexity;
机译:模态不动点逻辑的Sahlqvist定理
机译:模态不动点逻辑的Buchholz规则
机译:模态不动点逻辑的Buchholz规则
机译:模态逻辑中的通货膨胀定点
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:苯磺酸氨氯地平单药治疗后改用苯磺酸氨氯地平/盐酸贝那普利固定剂量联合治疗的疗效和耐受性:一项基于实践的开放标签研究(LOGIC研究)的非裔美国人亚群数据
机译:模态逻辑中的通货膨胀不动点