Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-19T13:21:22.557Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  12 March 2014

David Makinson
David Makinson*
Affiliation:
American University of Beirut, Beirut, Lebanon
Get access Rights & Permissions [Opens in a new window]

Extract

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 34 , Issue 1 , 29 May 1969 , pp. 35 - 38
Copyright
Copyright © Association for Symbolic Logic 1969

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Bull, R. A., That all normal extensions of S4.3 have the finite model property, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 341–344.CrossRefGoogle Scholar
[2]Harrop, R., Some structure results for prepositional calculi, this Journal, vol. 30 (1965), pp. 271–292.Google Scholar
[3]Kripke, S. A., Semantical analysis of modal logic I. Normal modal propositional calculi, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 61–96.CrossRefGoogle Scholar
[4]Lemmon, E. J., Algebraic semantics for modal logics I, this Journal, vol. 31 (1966), pp. 46–65.Google Scholar
[5]Harrop, R., On the existence of finite models and decision procedures for propositional calculi, Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 1–13.CrossRefGoogle Scholar