Skip to main content
Log in

Linear, Branching Time and Joint Closure Semantics for Temporal Logic

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • Ben-Ari, M., Pnueli, A., and Manna, Z., 1983, “The temporal logic of branching time, ” ActaInformaticae 20, 207–226.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Finger, M. and Gabbay, D., 1992, “Adding a temporal dimension to a logic system, ” Journal of Logic, Language and Information 1, 203–233.

    Google Scholar 

  • Goldblatt, R., 1992, Logics of Time and Computation, 2nd edn., CSLI Lecture Notes, Vol. 7, Stanford, CA: CSLI.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hirschfeld, J. and Wheeler, W.H., 1975, Forcing, Arithmetic, Division Rings, Lecture Notes in Mathematics, Vol. 454, Berlin: Springer-Verlag.

    Google Scholar 

  • Hodges, W., 1993, Model Theory, Cambridge: Cambridge University Press.

    Google Scholar 

  • Pierce, B.C., 1991, Basic Category Theory for Computer Scientists, Cambridge, MA: MIT Press.

    Google Scholar 

  • Reiter, R., 1980, “A logic for default reasoning, ” Artificial Intelligence 13, 81–132.

    Google Scholar 

  • 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

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1019999621456

Navigation