Constant domain quantified modal logics without Boolean negation
Source TitleAustralasian Journal of Logic
PublisherVictoria University of Wellington
University of Melbourne Author/sRestall, Gregory
AffiliationPhilosophy, Anthropology and Social Inquiry
Document TypeJournal Article
CitationsRESTALL, G. A. (2005). Constant domain quantified modal logics without Boolean negation. Australasian Journal of Logic, 3, pp.45-62. https://doi.org/10.26686/ajl.v3i0.1772.
Access StatusThis item is currently not available from this repository
C1 - Refereed Journal Article
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 ), but with an important twist, to do with the absence of Boolean negation.
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References