...
机译:模态不动点逻辑的Buchholz规则
Modal μ-calculus; proof theory; Buchholz rule;
机译:模态不动点逻辑的Buchholz规则
机译:MacNeille完成和Buchholz Omega无参数二阶逻辑规则
机译:模态和描述逻辑中的可操作规则语言,结合了CPDL和常规语法逻辑
机译:模态规则:用模态运算符扩展可逻辑
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:规则切换过程中额叶皮质效应子模态的多模态表示
机译:模态不动点逻辑的Buchholz规则