机译:关于正模态逻辑的统一观点
positive modal logic; positive modal algebra; Priestley space; Vietoris functor;
机译:关于正模态逻辑的统一观点
机译:弱表达的代数模态逻辑的双仿真
机译:代数模态逻辑中的均匀插值
机译:方程模态不动点逻辑中特征公式的合并代数视图
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:积极心理学和希望作为生活方式医学的治疗遭遇态度:叙述审查
机译:关于正模态逻辑的共济观点
机译:meal机器的代数逻辑与综合