Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000471424> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2000471424 endingPage "76" @default.
- W2000471424 startingPage "53" @default.
- W2000471424 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." @default.
- W2000471424 created "2016-06-24" @default.
- W2000471424 creator A5031039197 @default.
- W2000471424 creator A5066665696 @default.
- W2000471424 date "2006-08-16" @default.
- W2000471424 modified "2023-09-25" @default.
- W2000471424 title "From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability" @default.
- W2000471424 cites W1483655485 @default.
- W2000471424 cites W1488267121 @default.
- W2000471424 cites W1543662166 @default.
- W2000471424 cites W1986587029 @default.
- W2000471424 cites W2002262052 @default.
- W2000471424 cites W2007505115 @default.
- W2000471424 cites W2028942690 @default.
- W2000471424 cites W2043855341 @default.
- W2000471424 cites W2093270475 @default.
- W2000471424 cites W2123535212 @default.
- W2000471424 cites W2159753366 @default.
- W2000471424 cites W2176705267 @default.
- W2000471424 cites W2396555304 @default.
- W2000471424 doi "https://doi.org/10.1093/jigpal/jzl035" @default.
- W2000471424 hasPublicationYear "2006" @default.
- W2000471424 type Work @default.
- W2000471424 sameAs 2000471424 @default.
- W2000471424 citedByCount "7" @default.
- W2000471424 countsByYear W20004714242012 @default.
- W2000471424 countsByYear W20004714242015 @default.
- W2000471424 countsByYear W20004714242023 @default.
- W2000471424 crossrefType "journal-article" @default.
- W2000471424 hasAuthorship W2000471424A5031039197 @default.
- W2000471424 hasAuthorship W2000471424A5066665696 @default.
- W2000471424 hasBestOaLocation W20004714242 @default.
- W2000471424 hasConcept C113174947 @default.
- W2000471424 hasConcept C11413529 @default.
- W2000471424 hasConcept C114614502 @default.
- W2000471424 hasConcept C118615104 @default.
- W2000471424 hasConcept C159985019 @default.
- W2000471424 hasConcept C162324750 @default.
- W2000471424 hasConcept C184337299 @default.
- W2000471424 hasConcept C192562407 @default.
- W2000471424 hasConcept C199360897 @default.
- W2000471424 hasConcept C206175624 @default.
- W2000471424 hasConcept C31170391 @default.
- W2000471424 hasConcept C33923547 @default.
- W2000471424 hasConcept C34447519 @default.
- W2000471424 hasConcept C41008148 @default.
- W2000471424 hasConcept C80444323 @default.
- W2000471424 hasConceptScore W2000471424C113174947 @default.
- W2000471424 hasConceptScore W2000471424C11413529 @default.
- W2000471424 hasConceptScore W2000471424C114614502 @default.
- W2000471424 hasConceptScore W2000471424C118615104 @default.
- W2000471424 hasConceptScore W2000471424C159985019 @default.
- W2000471424 hasConceptScore W2000471424C162324750 @default.
- W2000471424 hasConceptScore W2000471424C184337299 @default.
- W2000471424 hasConceptScore W2000471424C192562407 @default.
- W2000471424 hasConceptScore W2000471424C199360897 @default.
- W2000471424 hasConceptScore W2000471424C206175624 @default.
- W2000471424 hasConceptScore W2000471424C31170391 @default.
- W2000471424 hasConceptScore W2000471424C33923547 @default.
- W2000471424 hasConceptScore W2000471424C34447519 @default.
- W2000471424 hasConceptScore W2000471424C41008148 @default.
- W2000471424 hasConceptScore W2000471424C80444323 @default.
- W2000471424 hasIssue "1" @default.
- W2000471424 hasLocation W20004714241 @default.
- W2000471424 hasLocation W20004714242 @default.
- W2000471424 hasOpenAccess W2000471424 @default.
- W2000471424 hasPrimaryLocation W20004714241 @default.
- W2000471424 hasRelatedWork W119179331 @default.
- W2000471424 hasRelatedWork W1495882652 @default.
- W2000471424 hasRelatedWork W1511429225 @default.
- W2000471424 hasRelatedWork W1526789715 @default.
- W2000471424 hasRelatedWork W1550059537 @default.
- W2000471424 hasRelatedWork W2030092432 @default.
- W2000471424 hasRelatedWork W2050349771 @default.
- W2000471424 hasRelatedWork W2133350964 @default.
- W2000471424 hasRelatedWork W2380389143 @default.
- W2000471424 hasRelatedWork W2802808432 @default.
- W2000471424 hasVolume "15" @default.
- W2000471424 isParatext "false" @default.
- W2000471424 isRetracted "false" @default.
- W2000471424 magId "2000471424" @default.
- W2000471424 workType "article" @default.