Matches in SemOpenAlex for { <https://semopenalex.org/work/W1555710535> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1555710535 abstract "We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.The automation of the natural deduction calculi for these temporal logics opens the new prospect to apply ourtechniques as an automatic reasoning tool in the areas, where the linear-time or branching-time setting is required." @default.
- W1555710535 created "2016-06-24" @default.
- W1555710535 creator A5000895271 @default.
- W1555710535 creator A5052381078 @default.
- W1555710535 creator A5054367511 @default.
- W1555710535 date "2008-01-01" @default.
- W1555710535 modified "2023-09-27" @default.
- W1555710535 title "Automating natural deduction for temporal logic" @default.
- W1555710535 cites W2061611990 @default.
- W1555710535 cites W2075766564 @default.
- W1555710535 cites W2145117211 @default.
- W1555710535 cites W2148933857 @default.
- W1555710535 cites W2159753366 @default.
- W1555710535 cites W72413812 @default.
- W1555710535 cites W2114841670 @default.
- W1555710535 hasPublicationYear "2008" @default.
- W1555710535 type Work @default.
- W1555710535 sameAs 1555710535 @default.
- W1555710535 citedByCount "0" @default.
- W1555710535 crossrefType "book-chapter" @default.
- W1555710535 hasAuthorship W1555710535A5000895271 @default.
- W1555710535 hasAuthorship W1555710535A5052381078 @default.
- W1555710535 hasAuthorship W1555710535A5054367511 @default.
- W1555710535 hasConcept C108710211 @default.
- W1555710535 hasConcept C11413529 @default.
- W1555710535 hasConcept C115901376 @default.
- W1555710535 hasConcept C127413603 @default.
- W1555710535 hasConcept C162670838 @default.
- W1555710535 hasConcept C195344581 @default.
- W1555710535 hasConcept C198008173 @default.
- W1555710535 hasConcept C199360897 @default.
- W1555710535 hasConcept C25016198 @default.
- W1555710535 hasConcept C2524010 @default.
- W1555710535 hasConcept C33923547 @default.
- W1555710535 hasConcept C41008148 @default.
- W1555710535 hasConcept C4777664 @default.
- W1555710535 hasConcept C62073222 @default.
- W1555710535 hasConcept C65880906 @default.
- W1555710535 hasConcept C69562738 @default.
- W1555710535 hasConcept C78519656 @default.
- W1555710535 hasConceptScore W1555710535C108710211 @default.
- W1555710535 hasConceptScore W1555710535C11413529 @default.
- W1555710535 hasConceptScore W1555710535C115901376 @default.
- W1555710535 hasConceptScore W1555710535C127413603 @default.
- W1555710535 hasConceptScore W1555710535C162670838 @default.
- W1555710535 hasConceptScore W1555710535C195344581 @default.
- W1555710535 hasConceptScore W1555710535C198008173 @default.
- W1555710535 hasConceptScore W1555710535C199360897 @default.
- W1555710535 hasConceptScore W1555710535C25016198 @default.
- W1555710535 hasConceptScore W1555710535C2524010 @default.
- W1555710535 hasConceptScore W1555710535C33923547 @default.
- W1555710535 hasConceptScore W1555710535C41008148 @default.
- W1555710535 hasConceptScore W1555710535C4777664 @default.
- W1555710535 hasConceptScore W1555710535C62073222 @default.
- W1555710535 hasConceptScore W1555710535C65880906 @default.
- W1555710535 hasConceptScore W1555710535C69562738 @default.
- W1555710535 hasConceptScore W1555710535C78519656 @default.
- W1555710535 hasLocation W15557105351 @default.
- W1555710535 hasOpenAccess W1555710535 @default.
- W1555710535 hasPrimaryLocation W15557105351 @default.
- W1555710535 hasRelatedWork W1498902647 @default.
- W1555710535 hasRelatedWork W1506199103 @default.
- W1555710535 hasRelatedWork W1510315745 @default.
- W1555710535 hasRelatedWork W1570891932 @default.
- W1555710535 hasRelatedWork W1599587354 @default.
- W1555710535 hasRelatedWork W166505724 @default.
- W1555710535 hasRelatedWork W2041030963 @default.
- W1555710535 hasRelatedWork W2065468698 @default.
- W1555710535 hasRelatedWork W2066312618 @default.
- W1555710535 hasRelatedWork W2112492999 @default.
- W1555710535 hasRelatedWork W2129637044 @default.
- W1555710535 hasRelatedWork W2148933857 @default.
- W1555710535 hasRelatedWork W2160495515 @default.
- W1555710535 hasRelatedWork W2343563019 @default.
- W1555710535 hasRelatedWork W3090338629 @default.
- W1555710535 hasRelatedWork W3210476636 @default.
- W1555710535 hasRelatedWork W40655855 @default.
- W1555710535 hasRelatedWork W657412233 @default.
- W1555710535 hasRelatedWork W1951898627 @default.
- W1555710535 hasRelatedWork W2114841670 @default.
- W1555710535 isParatext "false" @default.
- W1555710535 isRetracted "false" @default.
- W1555710535 magId "1555710535" @default.
- W1555710535 workType "book-chapter" @default.