Abstract: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.
出版日期: 2007-12-05
引用本文:
. Plausibility, necessity and identity: A logic of relative plausibility*[J]. Frontiers of Philosophy in China, 2007, 2(4): 629-644.
LI Xiaowu, WEN Xuefeng. Plausibility, necessity and identity: A logic of relative plausibility*. Front. Philos. China, 2007, 2(4): 629-644.