Abstract
Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions are defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications.
Similar content being viewed by others
References
Allen, E.A. and Halpern, J.Y., 1986, “‘Sometimes’ and ‘not never’ revisited: On branching versuslinear time temporal logic, ” Journal of the ACM 33, 151–178.
Ben-Ari, M., Pnueli, A., and Manna, Z., 1983, “The temporal logic of branching time, ” ActaInformaticae 20, 207–226.
Engelfriet, J. and Treur, J., 1993, “A temporal model theory for default logic, ” pp. 91–96 in Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU-93, M. Clarke, R. Kruse, and S. Moral, eds., Berlin: Springer-Verlag. A fully revised and extended version appeared as “An interpretation of default logicin minimal temporal epistemic logic, ” Journal of Logic, Language and Information7, 1998, 369–388.
Engelfriet, J. and Treur, J., 1996, “Semantics for default logic based on specific branching time models, ” pp. 60–64 in Proceedings 12th European Conference on Artificial Intelligence, ECAI-96, W. Wahlster, ed., New York: John Wiley and Sons.
Finger, M. and Gabbay, D., 1992, “Adding a temporal dimension to a logic system, ” Journal of Logic, Language and Information 1, 203–233.
Goldblatt, R., 1992, Logics of Time and Computation, 2nd edn., CSLI Lecture Notes, Vol. 7, Stanford, CA: CSLI.
Grumberg, O. and Kurshan, R.P., 1994, “How linear can branching-time be?, ” pp. 180–194 in Temporal Logic, Proceedings of the First International Conference on Temporal Logic, ICTL'94, D.M. Gabbay and H.J. Ohlbach, eds., Berlin: Springer-Verlag.
Hirschfeld, J. and Wheeler, W.H., 1975, Forcing, Arithmetic, Division Rings, Lecture Notes in Mathematics, Vol. 454, Berlin: Springer-Verlag.
Hodges, W., 1993, Model Theory, Cambridge: Cambridge University Press.
Pierce, B.C., 1991, Basic Category Theory for Computer Scientists, Cambridge, MA: MIT Press.
Reiter, R., 1980, “A logic for default reasoning, ” Artificial Intelligence 13, 81–132.
Spaan, E., 1990, “Nexttime is not necessary” (extended abstract), pp. 241–256 in Theoretical Aspects of Reasoning about Knowledge, Proceedings of the Third Conference, TARK-90, R. Parikh, ed., San Mateo, CA: Morgan Kaufmann. SEMANTICS FOR TEMPORAL LOGIC 425
Treur, J., 1976, “A duality for skew field extensions, ” Ph.D. Thesis,Department of Mathematics and Computer Science, Utrecht University.
van Benthem, J.F.A.K., 1983, The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Dordrecht: Reidel.
van Glabbeek, R.J., 1994, “What is branching time semantics and why to use it?, ” pp. 190–198 in The Concurrency Column, M. Nielsen, ed., Bulletin of the EATCS 53.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Engelfriet, J., Treur, J. Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11, 389–425 (2002). https://doi.org/10.1023/A:1019999621456
Issue Date:
DOI: https://doi.org/10.1023/A:1019999621456