Skip to main content Accessibility help
×
Home

Completeness and decidability of tense logics closely related to logics above K4

  • Frank Wolter (a1)

Abstract

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness (completeness) and decidability. It is proved that all minimal tense extensions of modal logics of finite width (in the sense of K. Kine) as well as all minimal tense extensions of cofinal subframe logics (in the sense of M. Zakharyaschev) are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are also presented.

Copyright

References

Hide All
[1] Blok, W., Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, 1976.
[2] Bull, R., An algebraic study on tense logics with linear time, this Journal, vol. 33 (1968), pp. 2738.
[3] Burgess, J., Basic tense logic, Handbook of philosophical logic (Gabbay, D. and Guenthner, F., editors), vol. 2, Dordrecht, 1984.
[4] Doets, H., Completeness and definability, Ph.D. thesis, University of Amsterdam, 1987.
[5] Fine, K., Logics containing K4, Part I, this Journal, vol. 39 (1974), pp. 229237.
[6] Fine, K., Logics containing K4, Part II, this Journal, vol. 50 (1985), pp. 619651.
[7] Gabbay, D., Investigations in modal and tense logic with applications to problems in philosophy and linguistics, Dordrecht, 1976.
[8] Gabbay, D., Hodkinson, I., and Reynolds, M., Temporal logic, Oxford, 1994.
[9] Goldblatt, R., Metamathematics of modal logic, Reports on Mathematical Logic, vol. 6 (1976), pp. 4177.
[10] Goldblatt, R., Logics of time and computation, CSLI Lecture Notes, Chicago, 1987.
[11] Goranko, V. and Passy, S., Using the universal modality, Journal of Logic and Computation, vol. 2 (1992), pp. 530.
[12] Jónsson, B., A survey of Boolean algebras with operators, manuscript.
[13] Kracht, M. and Wolter, F., Properties of independently axiomatizable bimodal logics, this Journal, vol. 56 (1991), pp. 14691485.
[14] Kracht, M. and Wolter, F., Normal modal logics can simulate all others, manuscript, 1994.
[15] Rybakov, V., A modal analog for Glivenko's theorem and its applications, Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 244248.
[16] Segerberg, K., Modal logics with linear alternative relations, Theoria, vol. 36 (1970), pp. 301322.
[17] Spaan, E., Complexity of modal logics, Ph.D. thesis, University of Amsterdam, 1993.
[18] van Benthem, J., The logic of time, Dordrecht, 1983.
[19] Wolter, F., Lattices of modal logics, Ph.D. thesis, Frei Universität Berlin, 1993.
[20] Wolter, F., Solution to a problem of Goranko and Passy, Journal of Logic and Computation, vol. 4 (1994), no. 1, pp. 2122.
[21] Wolter, F., Decidability of tense logics, extended abstract, Bulletin of the Section Logic, vol. 24 (1995), pp. 4651.
[22] Wolter, F., The finite model property in tense logic, this Journal, vol. 60 (1995), pp. 757774.
[23] Wolter, F., Properties of tense logics, to appear in Mathematical Logic Quarterly, 1995.
[24] Wolter, F., A counterexample in tense logic, to appear in Notre Dame Journal of Formal Logic, 1996.
[25] Wolter, F., Tense logics without tense operators, Mathematical Logic Quarterly, vol. 42 (1996), pp. 145171.
[26] Zakharyaschev, M., Canonical formulas for K4, Part I, this Journal, vol. 57 (1992), pp. 377402.
[27] Zakharyaschev, M., Canonical formulas for K4, Part II, ITLI Prepublication Series X-93-06, 1993.

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed