On the predicate logic of linear Kripke frames and some of its extensions (Q817691)

Completeness or incompleteness of different well-known intermediate predicate logics extending the predicate logic of linear Kripke frames (the predicate variant of Dummett's logic) with respect to Kripke semantics are proved or reproved. The proofs presented in this paper are essentially based on the standard technique of saturated sets of sentences.