期刊文献+

THE ALGEBRAIC AND KRIPKE'S SEMANTICS FOR QUANTIFIED MODAL SYSTEMS——THE CASE CONCERNING S5

THE ALGEBRAIC AND KRIPKE'S SEMANTICS FOR QUANTIFIED MODAL SYSTEMS——THE CASE CONCERNING S5
原文传递
导出
摘要 In [1] and [2], the late modal logician E. J. Lemmon investigated the connexion between the algebraic and Kripke’s semantics for two series of modal propositional systems;he also pronounced in [1] that a third paper would be prepared to discuss the same connexion for quantifications of all the modal systems considered therein. Unfortunately, owing to his untimely death, this Paper did not come out. In this note we discuss the
作者 高恒珊
出处 《Chinese Science Bulletin》 SCIE EI CAS 1987年第13期870-872,共3页
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部