Algebraic and relational semantics for tense logics
Unterholzner, Paola
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), p. 119-128 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1981-01-01
@article{RSMUP_1981__65__119_0,
     author = {Unterholzner, Paola},
     title = {Algebraic and relational semantics for tense logics},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {65},
     year = {1981},
     pages = {119-128},
     mrnumber = {653288},
     zbl = {0482.03006},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RSMUP_1981__65__119_0}
}

Unterholzner, Paola. Algebraic and relational semantics for tense logics. Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981) pp. 119-128. http://gdmltest.u-ga.fr/item/RSMUP_1981__65__119_0/

[1] R. Balbes - P. Dwinger, Distributive lattices, University of Missouri Press, 1974. | MR 373985 | Zbl 0321.06012

[2] G. Booles, The unprovability of consistency. An essay in modal logic, Cambridge University Press, 1979. | MR 525201 | Zbl 0409.03009

[3] G. Gratzer, Universal Algebra, Van Nostrand, 1968. | MR 248066 | Zbl 0182.34201

[4] B. Jensson - A. Tarski, Boolean algebras with operators, Amer. J. Math., 73 (1951), ppM891-939. | Zbl 0045.31505

[5] W. Rautenberg, 3 Klassische und Nichtklassische Aussagenlogik, Vieweg, 1979. | MR 554370 | Zbl 0424.03007

[6] H. Sahlquist, Completeness and correspondence in the first and second order semantics for modal logic, Proceedings of the Third Scandinavian Logic Symposium, ed. S. Kanger, North Holland, 1975, pp. 110-143. | MR 387008 | Zbl 0319.02018

[7] G. Sambin, Topology and categorical duality in the study of semantics for modal logics, submitted to J. Philos. Logic.

[8] G. Sambin - S. Valentini, A modal sequent caclculus for a fragment of arithmetic, Stud. Logica, to appear. | MR 595115 | Zbl 0457.03016

[9] C. Smorynski, The derivability condition and Loeb's Theorem, a shourt course in modal logic, manuscript, Heidelberg, 1976.

[10] S.K. Thomason, Semantic analysis of tense logic, J. Symbolic Logic, 37 (1972), pp. 155-158. | MR 316218 | Zbl 0238.02027