Splittings and the finite model property

Journal of Symbolic Logic 58 (1):139-157 (1993)
An old conjecture of modal logics states that every splitting of the major systems K4, S4, G and Grz has the finite model property. In this paper we will prove that all iterated splittings of G have fmp, whereas in the other cases we will give explicit counterexamples. We also introduce a proof technique which will give a positive answer for large classes of splitting frames. The proof works by establishing a rather strong property of these splitting frames namely that they preserve the finite model property in the following sense. Whenever an extension Λ has fmp so does the splitting Λ/f of Λ by f. Although we will also see that this method has its limitations because there are frames lacking this property, it has several desirable side effects. For example, properties such as compactness, decidability and others can be shown to be preserved in a similar way and effective bounds for the size of models can be given. Moreover, all methods and proofs are constructive
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275330
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 24,411
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Wolfgang Rautenberg (1983). Modal Tableau Calculi and Interpolation. Journal of Philosophical Logic 12 (4):403 - 423.

Add more references

Citations of this work BETA

View all 7 citations / Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

188 ( #21,385 of 1,924,716 )

Recent downloads (6 months)

1 ( #417,761 of 1,924,716 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.