| http://www.w3.org/ns/prov#value | - Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)Doxastic and Epistemic Logic in Logic and Philosophy of Logic Epistemic Possibility in Epistemology Modal Epistemology, Misc in Metaphysics Pos
|
