Matches in SemOpenAlex for { <https://semopenalex.org/work/W1700264732> ?p ?o ?g. }
- W1700264732 endingPage "860" @default.
- W1700264732 startingPage "854" @default.
- W1700264732 abstract "In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at essentially no computational cost one can make a significant increase in expressiveness while maintaining the same intuitiveness of LTLf. Indeed, we propose a logic, LDLf for Linear Dynamic Logic over finite traces, which borrows the syntax from Propositional Dynamic Logic (PDL), but is interpreted over finite traces. Satisfiability, validity and logical implication (as well as model checking) for LTLf. are PSPACE-complete as for LTLf. (and LTL)." @default.
- W1700264732 created "2016-06-24" @default.
- W1700264732 creator A5000059818 @default.
- W1700264732 creator A5013290512 @default.
- W1700264732 date "2013-08-03" @default.
- W1700264732 modified "2023-09-23" @default.
- W1700264732 title "Linear temporal logic and linear dynamic logic on finite traces" @default.
- W1700264732 cites W125598877 @default.
- W1700264732 cites W137331784 @default.
- W1700264732 cites W1491593738 @default.
- W1700264732 cites W1492291048 @default.
- W1700264732 cites W1498432697 @default.
- W1700264732 cites W1511995155 @default.
- W1700264732 cites W1512310098 @default.
- W1700264732 cites W152378237 @default.
- W1700264732 cites W1527405706 @default.
- W1700264732 cites W1531373978 @default.
- W1700264732 cites W1537434653 @default.
- W1700264732 cites W1606781638 @default.
- W1700264732 cites W1755580915 @default.
- W1700264732 cites W176994763 @default.
- W1700264732 cites W1816620374 @default.
- W1700264732 cites W1968086929 @default.
- W1700264732 cites W1971616901 @default.
- W1700264732 cites W1975653808 @default.
- W1700264732 cites W1983682288 @default.
- W1700264732 cites W2002089154 @default.
- W1700264732 cites W2003227046 @default.
- W1700264732 cites W2006754637 @default.
- W1700264732 cites W2016206563 @default.
- W1700264732 cites W2023808162 @default.
- W1700264732 cites W2038809129 @default.
- W1700264732 cites W2045474169 @default.
- W1700264732 cites W2061146398 @default.
- W1700264732 cites W2063230375 @default.
- W1700264732 cites W2069709605 @default.
- W1700264732 cites W2101107197 @default.
- W1700264732 cites W2106878575 @default.
- W1700264732 cites W2112128291 @default.
- W1700264732 cites W2131742729 @default.
- W1700264732 cites W2141088850 @default.
- W1700264732 cites W2146819619 @default.
- W1700264732 cites W2157319504 @default.
- W1700264732 cites W2165587117 @default.
- W1700264732 cites W2200847302 @default.
- W1700264732 cites W2336123333 @default.
- W1700264732 cites W2401898527 @default.
- W1700264732 cites W2406423292 @default.
- W1700264732 cites W2806619258 @default.
- W1700264732 cites W3023955530 @default.
- W1700264732 cites W42515457 @default.
- W1700264732 cites W587223573 @default.
- W1700264732 hasPublicationYear "2013" @default.
- W1700264732 type Work @default.
- W1700264732 sameAs 1700264732 @default.
- W1700264732 citedByCount "81" @default.
- W1700264732 countsByYear W17002647322014 @default.
- W1700264732 countsByYear W17002647322015 @default.
- W1700264732 countsByYear W17002647322016 @default.
- W1700264732 countsByYear W17002647322017 @default.
- W1700264732 countsByYear W17002647322018 @default.
- W1700264732 countsByYear W17002647322019 @default.
- W1700264732 countsByYear W17002647322020 @default.
- W1700264732 countsByYear W17002647322021 @default.
- W1700264732 countsByYear W17002647322022 @default.
- W1700264732 crossrefType "proceedings-article" @default.
- W1700264732 hasAuthorship W1700264732A5000059818 @default.
- W1700264732 hasAuthorship W1700264732A5013290512 @default.
- W1700264732 hasConcept C102993220 @default.
- W1700264732 hasConcept C110039528 @default.
- W1700264732 hasConcept C11413529 @default.
- W1700264732 hasConcept C11648818 @default.
- W1700264732 hasConcept C121332964 @default.
- W1700264732 hasConcept C154945302 @default.
- W1700264732 hasConcept C162670838 @default.
- W1700264732 hasConcept C165801399 @default.
- W1700264732 hasConcept C168773769 @default.
- W1700264732 hasConcept C172385210 @default.
- W1700264732 hasConcept C198008173 @default.
- W1700264732 hasConcept C203659156 @default.
- W1700264732 hasConcept C25016198 @default.
- W1700264732 hasConcept C2777796570 @default.
- W1700264732 hasConcept C28077239 @default.
- W1700264732 hasConcept C33203268 @default.
- W1700264732 hasConcept C33923547 @default.
- W1700264732 hasConcept C3845977 @default.
- W1700264732 hasConcept C41008148 @default.
- W1700264732 hasConcept C4777664 @default.
- W1700264732 hasConcept C60048249 @default.
- W1700264732 hasConcept C62520636 @default.
- W1700264732 hasConcept C80444323 @default.
- W1700264732 hasConceptScore W1700264732C102993220 @default.
- W1700264732 hasConceptScore W1700264732C110039528 @default.
- W1700264732 hasConceptScore W1700264732C11413529 @default.
- W1700264732 hasConceptScore W1700264732C11648818 @default.
- W1700264732 hasConceptScore W1700264732C121332964 @default.
- W1700264732 hasConceptScore W1700264732C154945302 @default.
- W1700264732 hasConceptScore W1700264732C162670838 @default.