Hostname: page-component-7c8c6479df-p566r Total loading time: 0 Render date: 2024-03-28T11:56:58.921Z Has data issue: false hasContentIssue false

The finite model property in tense logic

Published online by Cambridge University Press:  12 March 2014

Frank Wolter*
Affiliation:
Mathematisches Institut II, Freie Universität Berlin 14195 Berlin, Germany
*
School of Information Science JAIST Tatsunokuchi, Ishikawa 923-12, Japan, E-mail: wolter@jaist.ac.jp

Abstract

Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1995

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

REFERENCES

[1]Fine, K., Logics containing K4. Part I, this Journal, vol. 39 (1974), pp. 229237.Google Scholar
[2]Fine, K., Logics containing K4. Part II, this Journal, vol. 50 (1985), pp. 619651.Google Scholar
[3]Kracht, M., Even more about the lattice of tense logics, Archive for Mathematical Logic, vol. 31 (1992), pp. 243257.CrossRefGoogle Scholar
[4]Kracht, M. and Wolter, F., Properties of independently axiomatizable bimodal logics, this Journal, vol. 56 (1991), pp. 469485.Google Scholar
[5]Segerberg, K., Modal logics with linear alternative relations, Theoria, vol. 36 (1970), pp. 301322.CrossRefGoogle Scholar
[6]Kruskal, J. B., Well-quasi-ordering, the tree theorem and Vazsonyi's conjecture, Transactions of the American Mathematical Society, vol. 95 (1960), pp. 210225.Google Scholar
[7]Wolter, F., Lattices of modal logics, PhD thesis, Freie Universität Berlin, Berlin, 1993.Google Scholar
[8]Zakharyaschev, M., Canonical formulas for K4. Part I, this Journal, vol. 57 (1992), pp. 377402.Google Scholar
[9]Zakharyaschev, M., Canonical formulas for K4. Part II, ITLI Prepublication Series X-93-06, this Journal (1993) (to appear).Google Scholar