From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

  title={From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability},
  author={Valentin Goranko and Alberto Zanardo},
  journal={Logic Journal of the IGPL},
This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible… CONTINUE READING

From This Paper

Topics from this paper.
4 Citations
17 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 17 references

Decidability for branching time

  • J. Burgess
  • Studia Logica,
  • 1980
Highly Influential
4 Excerpts

The Logic of Time

  • J. van Benthem
  • Kluwer Academic Publishers, Dordrecht, second…
  • 1993
1 Excerpt

Modal and temporal logics. In Handbook of Logic in Computer Science, volume 2 (Background: Computational Structures), pages 477–563

  • C. Stirling
  • 1992
2 Excerpts

Similar Papers

Loading similar papers…