School of Historical and Philosophical Studies - Research Publications

Permanent URI for this collection

Now showing 1 - 3 of 3

Multiple conclusions

RESTALL, GA (King's College Publications, 2005)
Minimalists about truth can (and should) be epistemicists, and it helps if they are revision theorists too

RESTALL, GA ; BEALL, JC ; ARMOUR-GARB, B (Oxford University Press, 2005)
Constant domain quantified modal logics without Boolean negation

RESTALL, 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.