Logic Journal of the IGPL 15 (1):53-76 (2007)

Authors
Valentin Goranko
Stockholm University
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
Keywords branching time temporal logics  linear orders  trees  Peircean semantics  Ockhamist semantics  transfer of definability
Categories (categorize this paper)
Reprint years 2007
DOI 10.1093/jigpal/jzl035
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal and Temporal Logics.Colin P. Stirling - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Add more references

Citations of this work BETA

First-Order Aspects of Tree Paths.Ruaan Kellerman - 2015 - Logic Journal of the IGPL 23 (4):688-704.

Add more citations

Similar books and articles

Undivided and Indistinguishable Histories in Branching-Time Logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - Logic Journal of the IGPL 10 (2):165-189.
Some Considerations on Branching Areas of Time.ElŻbieta Hajnicz - 1999 - Journal of Logic, Language and Information 8 (1):17-43.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
An Extended Branching-Time Ockhamist Temporal Logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.

Analytics

Added to PP index
2015-02-04

Total views
293 ( #36,944 of 2,518,714 )

Recent downloads (6 months)
19 ( #44,342 of 2,518,714 )

How can I increase my downloads?

Downloads

My notes