Algebraic and relational semantics for tense logics
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), pp. 119-128.
@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},
     pages = {119--128},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {65},
     year = {1981},
     mrnumber = {653288},
     zbl = {0482.03006},
     language = {en},
     url = {http://www.numdam.org/item/RSMUP_1981__65__119_0/}
}
TY  - JOUR
AU  - Unterholzner, Paola
TI  - Algebraic and relational semantics for tense logics
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1981
SP  - 119
EP  - 128
VL  - 65
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1981__65__119_0/
LA  - en
ID  - RSMUP_1981__65__119_0
ER  - 
%0 Journal Article
%A Unterholzner, Paola
%T Algebraic and relational semantics for tense logics
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1981
%P 119-128
%V 65
%I Seminario Matematico of the University of Padua
%U http://www.numdam.org/item/RSMUP_1981__65__119_0/
%G en
%F 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://www.numdam.org/item/RSMUP_1981__65__119_0/

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

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

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

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

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

[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 | Zbl

[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 | Zbl

[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 | Zbl