Duality and Completeness for US-Logics
Fabio Bellissima and Saverio Cittadini
Source: Notre Dame J. Formal Logic Volume 39, Number 2
(1998), 231-242.
Abstract
The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.
First Page:
Show
Hide
Primary Subjects:
03B44
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1039293065
Mathematical Reviews number (MathSciNet): MR1714948
Digital Object Identifier: doi:10.1305/ndjfl/1039293065
Zentralblatt MATH identifier: 0968.03021
References
[1] Bellissima, F., and A. Bucalo, ``A distinguishable model theorem for the minimal US-tense logic,'' Notre Dame Journal of Formal Logic, vol. 36 (1995), pp. 585--94.
Mathematical Reviews (MathSciNet): MR96j:03017
Zentralblatt MATH: 0843.03007
Digital Object Identifier: doi:10.1305/ndjfl/1040136918
Project Euclid: euclid.ndjfl/1040136918
[2] Bull, R. A., and K. Segerberg, ``Basic modal logic,'' pp. 1--88 in Handbook of Philosophical Logic, vol. 2, edited by D. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1985.
Mathematical Reviews (MathSciNet): MR844596
Zentralblatt MATH: 0875.03045
[3] Burgess, J. P., ``Axioms for tense logic I, `since' and `until','' Notre Dame Journal of Formal Logic, vol. 23 (1982), pp. 367--74.
Mathematical Reviews (MathSciNet): MR84j:03031a
Zentralblatt MATH: 0494.03013
Project Euclid: euclid.ndjfl/1093870149
Digital Object Identifier: doi:10.1305/ndjfl/1093870149
[4] Goldblatt, R. I., ``Metamathematics of modal logic, Part I,'' Reports on Mathematical Logic, vol. 6 (1976), pp. 41--78.
Mathematical Reviews (MathSciNet): MR58:27331a
Zentralblatt MATH: 0356.02016
[5] Kamp, J. A. W., Tense Logic and the Theory of Linear Order, Ph.D. thesis, University of California at Los Angeles, 1968.
[6] Sambin, G., and V. Vaccaro, ``Topology and duality in modal logic,'' Annals of Pure and Applied Logic, vol. 37 (1988), pp. 249--96.
Mathematical Reviews (MathSciNet): MR89d:03015
Zentralblatt MATH: 0643.03014
Digital Object Identifier: doi:10.1016/0168-0072(88)90021-8
[7] Thomason, S. K., ``Semantic analysis of tense logics,'' The Journal of Symbolic Logic, vol. 37 (1972), pp. 150--57.
Mathematical Reviews (MathSciNet): MR47:4766
Zentralblatt MATH: 0238.02027
JSTOR: links.jstor.org
Digital Object Identifier: doi:10.2307/2272558
[8] Xu, M., ``On some US-tense logics,'' Journal of Philosophical Logic, vol. 17 (1988), pp. 181--202.
Mathematical Reviews (MathSciNet): MR89d:03017
Zentralblatt MATH: 0648.03010
Digital Object Identifier: doi:10.1007/BF00247911
Notre Dame Journal of Formal Logic
