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

Author: Shimura T.

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+ p p + 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

Publication date: 2000-07-01

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Shimura T.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers