Constant domain quantified modal logics without Boolean negation
Citations
Altmetric
Author
RESTALL, GADate
2005Source Title
The Australasian Journal of LogicPublisher
Victoria University of WellingtonUniversity of Melbourne Author/s
Restall, GregoryAffiliation
Philosophy, Anthropology and Social InquiryMetadata
Show full item recordDocument Type
Journal ArticleCitations
RESTALL, 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 Status
This item is currently not available from this repositoryDescription
C1 - Refereed Journal Article
Abstract
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.
Keywords
PhilosophyExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References