Journal of Symbolic Logic

Canonicity for Intensional Logics with Even Axioms

Timothy J. Surendonk

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS [2]. We follow the lead of the author's paper [9] where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form-no intensional operator is in boolean combination with a propositional letter-and which have the finite model property are neighborhood canonical. One consequence of this is that KMcK, the McKinsey logic, is neighborhood canonical, an interesting counterpoint to the results of ROBERT GOLDBLATT and XIAOPING WANG who showed, respectively, that KMcK is not relational canonical [5] and that KMcK is not relationally strongly complete [11].

Article information

Source
J. Symbolic Logic, Volume 66, Issue 3 (2001), 1141-1156.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183746551

Mathematical Reviews number (MathSciNet)
MR1856733

Zentralblatt MATH identifier
1049.03021

JSTOR
links.jstor.org

Citation

Surendonk, Timothy J. Canonicity for Intensional Logics with Even Axioms. J. Symbolic Logic 66 (2001), no. 3, 1141--1156. https://projecteuclid.org/euclid.jsl/1183746551


Export citation