FRINK Linked Data Fragments server

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

• W2157005730 abstract "The paper presents an axiomatic system for quantified propositional temporal logic (QPTL), which is propositional temporal logic equipped with quantification over propositions (boolean variables). The advantages of this extended temporal logic is that its expressive power is strictly higher than that of the unquantified version (PTL) and is equal to that of SIS, as well as that of /spl omega/-automata. Another important application of QPTL is its use for formulating and verifying refinement relations between reactive systems. In fact, the completeness proof is based on the reduction of a QPTL formula into a Buchi automaton, and performing equivalence transformations on this automata, formally justifying these transformations." @default.
• W2157005730 created "2016-06-24" @default.
• W2157005730 creator A5062247244 @default.
• W2157005730 creator A5078214635 @default.
• W2157005730 date "2002-11-19" @default.
• W2157005730 modified "2023-09-25" @default.
• W2157005730 title "A complete proof systems for QPTL" @default.
• W2157005730 cites W1491593738 @default.
• W2157005730 cites W1976773489 @default.
• W2157005730 cites W2000302396 @default.
• W2157005730 cites W2015688007 @default.
• W2157005730 cites W2024016985 @default.
• W2157005730 cites W2039853888 @default.
• W2157005730 cites W2073689993 @default.
• W2157005730 cites W2075350371 @default.
• W2157005730 cites W2086070079 @default.
• W2157005730 cites W2132107743 @default.
• W2157005730 cites W2157319504 @default.
• W2157005730 cites W563652063 @default.
• W2157005730 doi "https://doi.org/10.1109/lics.1995.523239" @default.
• W2157005730 hasPublicationYear "2002" @default.
• W2157005730 type Work @default.
• W2157005730 sameAs 2157005730 @default.
• W2157005730 citedByCount "21" @default.
• W2157005730 countsByYear W21570057302012 @default.
• W2157005730 countsByYear W21570057302014 @default.
• W2157005730 countsByYear W21570057302015 @default.
• W2157005730 countsByYear W21570057302018 @default.
• W2157005730 countsByYear W21570057302019 @default.
• W2157005730 countsByYear W21570057302023 @default.
• W2157005730 crossrefType "proceedings-article" @default.
• W2157005730 hasAuthorship W2157005730A5062247244 @default.
• W2157005730 hasAuthorship W2157005730A5078214635 @default.
• W2157005730 hasConcept C102993220 @default.
• W2157005730 hasConcept C110039528 @default.
• W2157005730 hasConcept C112505250 @default.
• W2157005730 hasConcept C118615104 @default.
• W2157005730 hasConcept C134306372 @default.
• W2157005730 hasConcept C14523651 @default.
• W2157005730 hasConcept C162670838 @default.
• W2157005730 hasConcept C165753454 @default.
• W2157005730 hasConcept C167729594 @default.
• W2157005730 hasConcept C17231256 @default.
• W2157005730 hasConcept C191222856 @default.
• W2157005730 hasConcept C194525867 @default.
• W2157005730 hasConcept C195818886 @default.
• W2157005730 hasConcept C199360897 @default.
• W2157005730 hasConcept C203659156 @default.
• W2157005730 hasConcept C25016198 @default.
• W2157005730 hasConcept C2524010 @default.
• W2157005730 hasConcept C2780069185 @default.
• W2157005730 hasConcept C33203268 @default.
• W2157005730 hasConcept C33923547 @default.
• W2157005730 hasConcept C3845977 @default.
• W2157005730 hasConcept C41008148 @default.
• W2157005730 hasConcept C4777664 @default.
• W2157005730 hasConcept C69562738 @default.
• W2157005730 hasConcept C74640108 @default.
• W2157005730 hasConcept C80444323 @default.
• W2157005730 hasConceptScore W2157005730C102993220 @default.
• W2157005730 hasConceptScore W2157005730C110039528 @default.
• W2157005730 hasConceptScore W2157005730C112505250 @default.
• W2157005730 hasConceptScore W2157005730C118615104 @default.
• W2157005730 hasConceptScore W2157005730C134306372 @default.
• W2157005730 hasConceptScore W2157005730C14523651 @default.
• W2157005730 hasConceptScore W2157005730C162670838 @default.
• W2157005730 hasConceptScore W2157005730C165753454 @default.
• W2157005730 hasConceptScore W2157005730C167729594 @default.
• W2157005730 hasConceptScore W2157005730C17231256 @default.
• W2157005730 hasConceptScore W2157005730C191222856 @default.
• W2157005730 hasConceptScore W2157005730C194525867 @default.
• W2157005730 hasConceptScore W2157005730C195818886 @default.
• W2157005730 hasConceptScore W2157005730C199360897 @default.
• W2157005730 hasConceptScore W2157005730C203659156 @default.
• W2157005730 hasConceptScore W2157005730C25016198 @default.
• W2157005730 hasConceptScore W2157005730C2524010 @default.
• W2157005730 hasConceptScore W2157005730C2780069185 @default.
• W2157005730 hasConceptScore W2157005730C33203268 @default.
• W2157005730 hasConceptScore W2157005730C33923547 @default.
• W2157005730 hasConceptScore W2157005730C3845977 @default.
• W2157005730 hasConceptScore W2157005730C41008148 @default.
• W2157005730 hasConceptScore W2157005730C4777664 @default.
• W2157005730 hasConceptScore W2157005730C69562738 @default.
• W2157005730 hasConceptScore W2157005730C74640108 @default.
• W2157005730 hasConceptScore W2157005730C80444323 @default.
• W2157005730 hasLocation W21570057301 @default.
• W2157005730 hasOpenAccess W2157005730 @default.
• W2157005730 hasPrimaryLocation W21570057301 @default.
• W2157005730 hasRelatedWork W1963842936 @default.
• W2157005730 hasRelatedWork W1982302236 @default.
• W2157005730 hasRelatedWork W2012001501 @default.
• W2157005730 hasRelatedWork W2016310740 @default.
• W2157005730 hasRelatedWork W2023723270 @default.
• W2157005730 hasRelatedWork W2041170190 @default.
• W2157005730 hasRelatedWork W2146588861 @default.
• W2157005730 hasRelatedWork W2157005730 @default.
• W2157005730 hasRelatedWork W2757525098 @default.
• W2157005730 hasRelatedWork W428994 @default.
• W2157005730 isParatext "false" @default.
• W2157005730 isRetracted "false" @default.

• next