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
Abstract
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
2007
PhilPapers/Archive ID
GORFLT
Upload history
Archival date: 2018-04-21
View other versions
Added to PP index
2015-02-04

Total views
215 ( #25,855 of 2,425,462 )

Recent downloads (6 months)
23 ( #32,326 of 2,425,462 )

How can I increase my downloads?

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