Continuum many maximal consistent normal bimodal logics with inverses

The paper considers extensions of a normal bimodal logic KL in which the two necessity operators are mutual one-sided inverses. A continuum of maximal consistent normal extensions of KL is constructed, each of which has infinitely many quasi-normal Post complete extensions. Some syntactic properties...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक: Williamson, T
अन्य लेखक: University of Notre Dame
स्वरूप: Journal article
भाषा:English
प्रकाशित: Duke University Press 1998
विषय: