FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569897873> ?p ?o ?g. }

• W1569897873 abstract "Graphical Interval Logic (GIL) is a temporal logic in which all reasoning is done by means of diagrammatic formulae. It is a discrete linear-time modal logic in which the basic temporal modality is the interval. Future Interval Logic (FIL) provides the logical foundation for GIL. In this paper we present an automata-theoretic decision procedure for FIL with complexity DTIME((2^{O(n^k )} )), where n is the size of the formula and k is the depth of interval nesting. For formulae with bounded depth but length unbounded, the satisfiability problem for FIL is shown to be PSPACE-complete. We believe that this is the first result giving a direct decision procedure of elementary complexity for an interval logic. We also show that the logic is transparent to finite stuttering over the class of ω-sequences, a feature that is useful for composition and refinement." @default.
• W1569897873 created "2016-06-24" @default.
• W1569897873 creator A5026161947 @default.
• W1569897873 creator A5053226512 @default.
• W1569897873 creator A5055549913 @default.
• W1569897873 creator A5057993106 @default.
• W1569897873 creator A5090264331 @default.
• W1569897873 date "1992-01-01" @default.
• W1569897873 modified "2023-09-28" @default.
• W1569897873 title "An automata-theoretic decision procedure for Future Interval Logic" @default.
• W1569897873 cites W1875868519 @default.
• W1569897873 cites W1922808635 @default.
• W1569897873 cites W1978654873 @default.
• W1569897873 cites W1982129592 @default.
• W1569897873 cites W1982900911 @default.
• W1569897873 cites W2003773532 @default.
• W1569897873 cites W2033071128 @default.
• W1569897873 cites W2042087007 @default.
• W1569897873 cites W2044206530 @default.
• W1569897873 cites W2061841985 @default.
• W1569897873 cites W2069709605 @default.
• W1569897873 cites W2081554034 @default.
• W1569897873 cites W2086070079 @default.
• W1569897873 cites W2092656858 @default.
• W1569897873 cites W2103976539 @default.
• W1569897873 cites W2115416792 @default.
• W1569897873 cites W2116643105 @default.
• W1569897873 cites W2118296015 @default.
• W1569897873 cites W2158441292 @default.
• W1569897873 cites W2323378191 @default.
• W1569897873 doi "https://doi.org/10.1007/3-540-56287-7_94" @default.
• W1569897873 hasPublicationYear "1992" @default.
• W1569897873 type Work @default.
• W1569897873 sameAs 1569897873 @default.
• W1569897873 citedByCount "14" @default.
• W1569897873 countsByYear W15698978732012 @default.
• W1569897873 crossrefType "book-chapter" @default.
• W1569897873 hasAuthorship W1569897873A5026161947 @default.
• W1569897873 hasAuthorship W1569897873A5053226512 @default.
• W1569897873 hasAuthorship W1569897873A5055549913 @default.
• W1569897873 hasAuthorship W1569897873A5057993106 @default.
• W1569897873 hasAuthorship W1569897873A5090264331 @default.
• W1569897873 hasConcept C102993220 @default.
• W1569897873 hasConcept C106624574 @default.
• W1569897873 hasConcept C110039528 @default.
• W1569897873 hasConcept C11413529 @default.
• W1569897873 hasConcept C114614502 @default.
• W1569897873 hasConcept C118615104 @default.
• W1569897873 hasConcept C121332964 @default.
• W1569897873 hasConcept C162670838 @default.
• W1569897873 hasConcept C165801399 @default.
• W1569897873 hasConcept C168773769 @default.
• W1569897873 hasConcept C172385210 @default.
• W1569897873 hasConcept C173125200 @default.
• W1569897873 hasConcept C179799912 @default.
• W1569897873 hasConcept C185592680 @default.
• W1569897873 hasConcept C188027245 @default.
• W1569897873 hasConcept C199360897 @default.
• W1569897873 hasConcept C203659156 @default.
• W1569897873 hasConcept C25016198 @default.
• W1569897873 hasConcept C27508121 @default.
• W1569897873 hasConcept C2777796570 @default.
• W1569897873 hasConcept C2778067643 @default.
• W1569897873 hasConcept C33923547 @default.
• W1569897873 hasConcept C39637292 @default.
• W1569897873 hasConcept C41008148 @default.
• W1569897873 hasConcept C4777664 @default.
• W1569897873 hasConcept C62520636 @default.
• W1569897873 hasConcept C71139939 @default.
• W1569897873 hasConcept C80444323 @default.
• W1569897873 hasConceptScore W1569897873C102993220 @default.
• W1569897873 hasConceptScore W1569897873C106624574 @default.
• W1569897873 hasConceptScore W1569897873C110039528 @default.
• W1569897873 hasConceptScore W1569897873C11413529 @default.
• W1569897873 hasConceptScore W1569897873C114614502 @default.
• W1569897873 hasConceptScore W1569897873C118615104 @default.
• W1569897873 hasConceptScore W1569897873C121332964 @default.
• W1569897873 hasConceptScore W1569897873C162670838 @default.
• W1569897873 hasConceptScore W1569897873C165801399 @default.
• W1569897873 hasConceptScore W1569897873C168773769 @default.
• W1569897873 hasConceptScore W1569897873C172385210 @default.
• W1569897873 hasConceptScore W1569897873C173125200 @default.
• W1569897873 hasConceptScore W1569897873C179799912 @default.
• W1569897873 hasConceptScore W1569897873C185592680 @default.
• W1569897873 hasConceptScore W1569897873C188027245 @default.
• W1569897873 hasConceptScore W1569897873C199360897 @default.
• W1569897873 hasConceptScore W1569897873C203659156 @default.
• W1569897873 hasConceptScore W1569897873C25016198 @default.
• W1569897873 hasConceptScore W1569897873C27508121 @default.
• W1569897873 hasConceptScore W1569897873C2777796570 @default.
• W1569897873 hasConceptScore W1569897873C2778067643 @default.
• W1569897873 hasConceptScore W1569897873C33923547 @default.
• W1569897873 hasConceptScore W1569897873C39637292 @default.
• W1569897873 hasConceptScore W1569897873C41008148 @default.
• W1569897873 hasConceptScore W1569897873C4777664 @default.
• W1569897873 hasConceptScore W1569897873C62520636 @default.
• W1569897873 hasConceptScore W1569897873C71139939 @default.
• W1569897873 hasConceptScore W1569897873C80444323 @default.
• W1569897873 hasLocation W15698978731 @default.
• W1569897873 hasOpenAccess W1569897873 @default.

• next