Algebraic and relational semantics for tense logics
Rendiconti del Seminario Matematico della Università di Padova, Tome 65 (1981), pp. 119-128
Cet article a éte moissonné depuis la source Numdam
@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},
year = {1981},
publisher = {Seminario Matematico of the University of Padua},
volume = {65},
mrnumber = {653288},
zbl = {0482.03006},
language = {en},
url = {http://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/item/RSMUP_1981__65__119_0/