On the predicate logics of finite Kripke frames

Studia Logica 54 (1):79-88 (1995)
In [Ono 1987] H. Ono put the question about axiomatizing the intermediate predicate logicLFin characterized by the class of all finite Kripke frames. It was established in [ Skvortsov 1988] thatLFin is not recursively axiomatizable. One can easily show that for any finite posetM, the predicate logic characterized byM is recursively axiomatizable, and its axiomatization can be constructed effectively fromM. Namely, the set of formulas belonging to this logic is recursively enumerable, since it is embeddable in the two-sorted classical predicate calculusCPC 2. Thus the logicLFin is II 2 0 -arithmetical.Here we give a more explicit II 2 0 -description ofLFin: it is presented as the intersection of a denumerable sequence of finitely axiomatizable Kripke-complete logics. Namely, we give an axiomatization of the logicLB n P m + characterized by the class of all posets of the finite height m and the finite branching n. A finite axiomatization of the predicate logicLP m + characterized by the class of all posets of the height m is known from [Yokota 1989]. We prove thatLB n P m + =,B n being the propositional axiom of the branching n
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01058533
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,781
Through your library
References found in this work BETA
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
Directed Frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
On Finite Linear Intermediate Predicate Logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index

Total downloads
17 ( #293,354 of 2,199,425 )

Recent downloads (6 months)
6 ( #35,230 of 2,199,425 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature