We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Definability in Normal Extensions of S4.
- Authors
Maksimova, L. L.
- Abstract
A projective Beth property, PB2. in normal modal logics extending 84 is studied. A convenient criterion is furnished for PB2 to be valid in a larger family of extensions of K4. All locally tabular extensions of the Grzegorczyk logic with PB2 are described. Superintuitionistic logics with the projective Beth property that have no modal companions with this property are found.
- Subjects
RING extensions (Algebra); MATHEMATICAL logic; MODAL logic; ALGEBRA
- Publication
Algebra & Logic, 2004, Vol 43, Issue 4, p217
- ISSN
0002-5232
- Publication type
Article
- DOI
10.1023/B:ALLO.0000035113.06412.22