Matches in SemOpenAlex for { <https://semopenalex.org/work/W2790996802> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2790996802 abstract "We investigate linear temporal logic (mathscr {LT L}_{{ NT}}) with non-transitive time and operators NEXT and UNTIL, as well as some possible interpretations of logical knowledge operators in this context. We assume time to be non-transitive, linear and discrete, the former being a major innovative part of this paper. We provide motivation for our approach along with ideas of why we might want to consider time to be non-transitive, and comment on possible interpretations of logical knowledge operators. The main result of Sect. 11.5 is a solution for decidability problem for (mathscr {LT L}_{{ NT}}), for which we describe in details the decision algorithm. In Sect. 11.6 we introduce non-transitive linear temporal logic (mathscr {LT L}_{{ NT}}(m)) with uniform bound (m) for non-transitivity. There we also solve the admissibility problem for (mathscr {LT L}_{{ NT}}(m)), that is we provide an algorithm for verifying admissibility of inference rules in (mathscr {LT L}_{{ NT}}(m)). Last section contains description of remaining interesting open problems." @default.
- W2790996802 created "2018-03-29" @default.
- W2790996802 creator A5016943210 @default.
- W2790996802 date "2018-01-01" @default.
- W2790996802 modified "2023-09-27" @default.
- W2790996802 title "Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility" @default.
- W2790996802 cites W120333500 @default.
- W2790996802 cites W1506588809 @default.
- W2790996802 cites W1555468794 @default.
- W2790996802 cites W1968710686 @default.
- W2790996802 cites W1969992219 @default.
- W2790996802 cites W2009552408 @default.
- W2790996802 cites W2011674996 @default.
- W2790996802 cites W2016586936 @default.
- W2790996802 cites W2073775828 @default.
- W2790996802 cites W2074899782 @default.
- W2790996802 cites W2081160992 @default.
- W2790996802 cites W2093974031 @default.
- W2790996802 cites W2121196188 @default.
- W2790996802 cites W2131236983 @default.
- W2790996802 cites W2137109057 @default.
- W2790996802 cites W3105346431 @default.
- W2790996802 cites W4213219346 @default.
- W2790996802 doi "https://doi.org/10.1007/978-3-319-69917-2_11" @default.
- W2790996802 hasPublicationYear "2018" @default.
- W2790996802 type Work @default.
- W2790996802 sameAs 2790996802 @default.
- W2790996802 citedByCount "2" @default.
- W2790996802 countsByYear W27909968022020 @default.
- W2790996802 countsByYear W27909968022021 @default.
- W2790996802 crossrefType "book-chapter" @default.
- W2790996802 hasAuthorship W2790996802A5016943210 @default.
- W2790996802 hasConcept C11413529 @default.
- W2790996802 hasConcept C114614502 @default.
- W2790996802 hasConcept C118615104 @default.
- W2790996802 hasConcept C151730666 @default.
- W2790996802 hasConcept C153269930 @default.
- W2790996802 hasConcept C154945302 @default.
- W2790996802 hasConcept C191399111 @default.
- W2790996802 hasConcept C25016198 @default.
- W2790996802 hasConcept C2776214188 @default.
- W2790996802 hasConcept C2776235265 @default.
- W2790996802 hasConcept C2779343474 @default.
- W2790996802 hasConcept C311688 @default.
- W2790996802 hasConcept C33923547 @default.
- W2790996802 hasConcept C3746660 @default.
- W2790996802 hasConcept C41008148 @default.
- W2790996802 hasConcept C4777664 @default.
- W2790996802 hasConcept C80444323 @default.
- W2790996802 hasConcept C86803240 @default.
- W2790996802 hasConceptScore W2790996802C11413529 @default.
- W2790996802 hasConceptScore W2790996802C114614502 @default.
- W2790996802 hasConceptScore W2790996802C118615104 @default.
- W2790996802 hasConceptScore W2790996802C151730666 @default.
- W2790996802 hasConceptScore W2790996802C153269930 @default.
- W2790996802 hasConceptScore W2790996802C154945302 @default.
- W2790996802 hasConceptScore W2790996802C191399111 @default.
- W2790996802 hasConceptScore W2790996802C25016198 @default.
- W2790996802 hasConceptScore W2790996802C2776214188 @default.
- W2790996802 hasConceptScore W2790996802C2776235265 @default.
- W2790996802 hasConceptScore W2790996802C2779343474 @default.
- W2790996802 hasConceptScore W2790996802C311688 @default.
- W2790996802 hasConceptScore W2790996802C33923547 @default.
- W2790996802 hasConceptScore W2790996802C3746660 @default.
- W2790996802 hasConceptScore W2790996802C41008148 @default.
- W2790996802 hasConceptScore W2790996802C4777664 @default.
- W2790996802 hasConceptScore W2790996802C80444323 @default.
- W2790996802 hasConceptScore W2790996802C86803240 @default.
- W2790996802 hasLocation W27909968021 @default.
- W2790996802 hasOpenAccess W2790996802 @default.
- W2790996802 hasPrimaryLocation W27909968021 @default.
- W2790996802 hasRelatedWork W1589124617 @default.
- W2790996802 hasRelatedWork W1654250191 @default.
- W2790996802 hasRelatedWork W1887871432 @default.
- W2790996802 hasRelatedWork W2029183607 @default.
- W2790996802 hasRelatedWork W2072111049 @default.
- W2790996802 hasRelatedWork W2113389546 @default.
- W2790996802 hasRelatedWork W2183965288 @default.
- W2790996802 hasRelatedWork W2199182687 @default.
- W2790996802 hasRelatedWork W2296031223 @default.
- W2790996802 hasRelatedWork W2539839969 @default.
- W2790996802 hasRelatedWork W2735861951 @default.
- W2790996802 hasRelatedWork W2800461112 @default.
- W2790996802 hasRelatedWork W2921659641 @default.
- W2790996802 hasRelatedWork W2942114733 @default.
- W2790996802 hasRelatedWork W2949885384 @default.
- W2790996802 hasRelatedWork W2953274432 @default.
- W2790996802 hasRelatedWork W2963724210 @default.
- W2790996802 hasRelatedWork W2995216536 @default.
- W2790996802 hasRelatedWork W2183205003 @default.
- W2790996802 hasRelatedWork W2808151995 @default.
- W2790996802 isParatext "false" @default.
- W2790996802 isRetracted "false" @default.
- W2790996802 magId "2790996802" @default.
- W2790996802 workType "book-chapter" @default.