Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

Author: Shimura T.1

Source: Studia Logica, Volume 65, Number 2, July 2000 , pp. 237-247(11)

Publisher: Springer

Abstract:

We generalize the incompleteness proof of the modal predicate logic Q-S4+ squdiamp sup diamsqup + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.

Keywords: Modal predicate logics; Kripke incompleteness; Canonical formulas

Language: English

Document Type: Regular paper

Affiliations: 1: Department of Mathematics College of Science and Technology Nihon University 1-8-14 Kanda Surugadai, Chiyoda-ku Tokyo 101-8308, Japan shimura@math.cst.nihon-u.ac.jp

Links for this article