arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

论逻辑与概率的基础,I. 模态命题演算

On the foundations of logic and probability, I. Modal sentential calculi

Loic Cosyns

arXiv 2609.28104首次发表:更新:

发表机构

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.

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑