A normal modal calculus between T and S4 without the finite model property

29 May 1969

journal article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 34 (1) , 35-38
https://doi.org/10.2307/2270978

Abstract

Given separate though similar proofs of the finite model property for individual modal calculi such as S5, S4, S2, and the Feys-von Wright system T, the problem arises of generalising the arguments and establishing the property for modal calculi en masse. In other words, we would like to be able to show in one fell swoop that any modal calculus satisfying certain general syntactic conditions has the finite model property.

Keywords

This publication has 4 references indexed in Scilit:

Algebraic semantics for modal logics I
The Journal of Symbolic Logic, 1966
That All Normal Extensions of S4.3 Have the Finite Model Property
Mathematical Logic Quarterly, 1966
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Mathematical Logic Quarterly, 1963
On the existence of finite models and decision procedures for propositional calculi
Mathematical Proceedings of the Cambridge Philosophical Society, 1958