Plausibility, necessity and identity: A logic of relative plausibility
被引:0
|
作者:
Li Xiaowu
论文数: 0引用数: 0
h-index: 0
机构:
Sun Yat Sen Univ, Inst Logic & Cognit, Guangzhou 510275, Guangdong, Peoples R ChinaSun Yat Sen Univ, Inst Logic & Cognit, Guangzhou 510275, Guangdong, Peoples R China
Li Xiaowu
[1
]
Wen Xuefeng
论文数: 0引用数: 0
h-index: 0
机构:
Sun Yat Sen Univ, Inst Logic & Cognit, Guangzhou 510275, Guangdong, Peoples R ChinaSun Yat Sen Univ, Inst Logic & Cognit, Guangzhou 510275, Guangdong, Peoples R China
Wen Xuefeng
[1
]
机构:
[1] Sun Yat Sen Univ, Inst Logic & Cognit, Guangzhou 510275, Guangdong, Peoples R China
We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.