- School of Historical and Philosophical Studies - Research Publications
School of Historical and Philosophical Studies - Research Publications
Permanent URI for this collection
Search Results
Now showing
1 - 7 of 7
-
ItemEthics and intuitionsSINGER, P. ( 2005)
-
ItemCivilian immunity in warPRIMORATZ, I. ( 2005)
-
ItemPHYSICAL REALISMEllis, B (Wiley, 2005-12)
-
ItemThe good, the bad and the blameworthyLEVY, NL (Annenberg Center, University of Southern California, 2005)
-
ItemContrastive explanations: A dilemma for libertariansLevy, N (WILEY-BLACKWELL, 2005)
-
ItemDownshifting and meaning in lifeLevy, N (WILEY, 2005-06)
-
ItemConstant domain quantified modal logics without Boolean negationRESTALL, GA (Victoria University of Wellington, 2005)This paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a twoplace modal operator, the relevant conditional. The completeness proof is adapted from a proof for classical modal predicate logic (I follow James Garson’s presentation of the completeness proof quite closely [10]), but with an important twist, to do with the absence of Boolean negation.