×

zbMATH — the first resource for mathematics

Algebraic and relational semantics for tense logics. (English) Zbl 0482.03006

MSC:
03B45 Modal logic (including the logic of norms)
03G30 Categorical logic, topoi
03G25 Other algebras related to logic
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] R. Balbes - P. Dwinger , Distributive lattices , University of Missouri Press , 1974 . MR 373985 | Zbl 0321.06012 · Zbl 0321.06012
[2] G. Booles , The unprovability of consistency. An essay in modal logic , Cambridge University Press , 1979 . MR 525201 | Zbl 0409.03009 · Zbl 0409.03009
[3] G. Gratzer , Universal Algebra , Van Nostrand , 1968 . MR 248066 | Zbl 0182.34201 · Zbl 0182.34201
[4] B. Jensson - A. Tarski , Boolean algebras with operators , Amer. J. Math. , 73 ( 1951 ), pp M891 - 939 . Zbl 0045.31505 · Zbl 0045.31505 · doi:10.2307/2372123
[5] W. Rautenberg , 3 Klassische und Nichtklassische Aussagenlogik , Vieweg , 1979 . MR 554370 | Zbl 0424.03007 · 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 · 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 · Zbl 0457.03016 · doi:10.1007/BF00370323
[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 · Zbl 0238.02027 · doi:10.2307/2272558
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.