| Abstract: | It is shown that a logic J fd * characterized by all Kripke frames the domains of all nonmaximal worlds of which are finite lacks the Beth property. The logic is the first example of an intermediate superintuitionistic logic without the Beth property. The interpolation and the Beth properties are also proved missing in all predicate superintuitionistic logics which contain J fd * and are contained in a logic characterized by frames of the form〈N n , ≤,{Dk}k∈N n〉. Supported by the Russian Foundation for Humanities, grant No. 97-03-04089. Translated fromAlgebra i Logika, Vol. 37, No. 1, pp. 107–117, January–February, 1998. |
