Skip to main content
SpringerLink
Log in

Synchronized histories in prior-thomason representation of branching time

  • Conference paper
  • First Online:
Temporal Logic (ICTL 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 827))

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Belnap, M. Perloff, 'seeing to it that: a canonical form of agentives', in Knowledge representation and defeasible reasonings, H. E. Kyburg, Jr., R. P. Loui and G. N. Carlson (eds.), Kluver Academic Publisher, 1990, pp.175–199.

    Google Scholar 

  2. Burgess, J., ‘Logic and Time', Journal of Symbolic Logic, 44, 1979, pp. 556–582.

    Google Scholar 

  3. van Frassen, B., Laws and Symmetry, Clarendon Press, Oxford, 1989

    Google Scholar 

  4. D. Gabbay, I. Hodkinson and M. Reynolds, Temporal Logic: Mathematical Foundation and Computational Aspects, Oxford University Press, Oxford, 1994.

    Google Scholar 

  5. Gabbay, D., ‘An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames', in U. Mönnich (ed.), Aspects of Philosophical Logic, D. Reidel, Dordrecht (1981), 67–89.

    Google Scholar 

  6. Y. Gurevich, S. Shelah, ‘The decision problem for branching time logic', J. of Symbolic Logic, 50 (3) 1985, pp. 668–681.

    Google Scholar 

  7. Prior, A., Past, Present and Future, Clarendon, Oxford, 1967.

    Google Scholar 

  8. Thomason, R., ‘Combinations of tense and modality', in D. Gabbay and F. Guenthner (eds.), The Handbook of Philosophical Logic, vol. 2, D. Reidel, Dordrecht (1984), 135–165.

    Google Scholar 

  9. Zanardo, A., ‘A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas', Journal of Philosophical Logic, 14, 1985, pp. 447–468.

    Google Scholar 

  10. Zanardo, A., ‘On the Characterizability of the Frames for the Unpreventability of the Present and the Past', Notre Dame J. of Formal Logic, 1986, 556–564.

    Google Scholar 

  11. Zanardo, A., ‘Branching-time logic with quantification over branches. The point of view of modal logic', draft.

    Google Scholar 

Download references

Author information

Author notes

  1. Alberto Zanardo

    Present address: Dipartimento di Matematica Pura ed Applicata, Via Belzoni, 7-I-35131, Padova, Italy

Authors and Affiliations

    Authors
    1. Maria Concetta Di Maio
      View author publications

      You can also search for this author in PubMed Google Scholar

    2. Alberto Zanardo
      View author publications

      You can also search for this author in PubMed Google Scholar

    Editor information

    Dov M. Gabbay Hans Jürgen Ohlbach

    Rights and permissions

    Reprints and permissions

    Copyright information

    © 1994 Springer-Verlag Berlin Heidelberg

    About this paper

    Cite this paper

    Di Maio, M.C., Zanardo, A. (1994). Synchronized histories in prior-thomason representation of branching time. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013993

    Download citation

    • DOI: https://doi.org/10.1007/BFb0013993

    • Published:

    • Publisher Name: Springer, Berlin, Heidelberg

    • Print ISBN: 978-3-540-58241-0

    • Online ISBN: 978-3-540-48585-8

    • eBook Packages: Springer Book Archive

    Publish with us

    Policies and ethics

    Search

    Navigation