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

Logic Journal of the IGPL 15 (1):53-76 (2007)
Download Edit this record How to cite View on PhilPapers
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 paths. We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-04-21
View upload history
References found in this work BETA
Topological Aspects of Branching-Time Semantics.Sabbadin, Michela & Zanardo, Alberto
Modal and Temporal Logics.Stirling, Colin P.
Non-Definability of the Class of Complete Bundled Trees.Zanardo, A.; Barcellan, B. & Reynolds, M.

Add more references

Citations of this work BETA
Analyzing Completeness of Axiomatic Functional Systems for Temporal × Modal Logics.Burrieza, Alfredo; de Guzmán, Inmaculada P. & Muñoz-Velasco, Emilio

Add more citations

Added to PP index

Total views
172 ( #24,168 of 50,241 )

Recent downloads (6 months)
41 ( #14,823 of 50,241 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.