发表机构
University of Durham(杜伦大学)
机构由 AI 辅助整理,请以论文原文为准。AI 中文总结
本文提出并研究了一类无需额外算子即可在经典命题演算中刻画模态概念的模型,为逻辑与概率基础提供了新视角。
AI 中文摘要
本文引入并研究了一类模型,该类模型无需在经典命题演算的语言上添加额外算子,即可刻画必然性、可能性和不可能性的某些概念。
英文摘要
A class of models which does not require additional operators on the language of classical sentential calculi to capture some notion of necessity, possibility, and impossibility is introduced and investigated.