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

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

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

The full text electronic article is available for purchase. You will be able to download the full text electronic article after payment.

$42.00 plus tax

 

OR

Back to top

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A