|
|
Plausibility, necessity and identity: A logic of relative plausibility* |
LI Xiaowu, WEN Xuefeng |
Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou 510275, China; |
|
|
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.
|
Issue Date: 05 December 2007
|
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|