Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024016985> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2024016985 endingPage "83" @default.
- W2024016985 startingPage "35" @default.
- W2024016985 abstract "Some methods for reasoning about concurrent programs and hardware devices have been based on proof systems for temporal logic. Unfortunately, all effective proof systems for temporal logic are incomplete for the standard semantics, in the sense that some formulas hold in every intended model but cannot be proved. We evaluate and compare the power of several proof systems for temporal logic. Specifically, we relate temporal systems to classical systems with explicit time parameters. A typical temporal system turns out to be incomplete in a strong sense; we exhibit a short, valid formula it fails to prove. We suggest the addition of new rules to define auxiliary predicates. With these rules, we obtain nonstandard soundness and completeness results. In particular, one of the simple temporal systems we describe is as powerful as Peano Arithmetic." @default.
- W2024016985 created "2016-06-24" @default.
- W2024016985 creator A5061767913 @default.
- W2024016985 date "1989-06-01" @default.
- W2024016985 modified "2023-10-03" @default.
- W2024016985 title "The power of temporal proofs" @default.
- W2024016985 cites W1759699633 @default.
- W2024016985 cites W1770668315 @default.
- W2024016985 cites W1970603830 @default.
- W2024016985 cites W2008960163 @default.
- W2024016985 cites W2039025680 @default.
- W2024016985 cites W2059933820 @default.
- W2024016985 cites W2085533703 @default.
- W2024016985 cites W2165373889 @default.
- W2024016985 cites W2166656159 @default.
- W2024016985 doi "https://doi.org/10.1016/0304-3975(89)90138-2" @default.
- W2024016985 hasPublicationYear "1989" @default.
- W2024016985 type Work @default.
- W2024016985 sameAs 2024016985 @default.
- W2024016985 citedByCount "81" @default.
- W2024016985 countsByYear W20240169852012 @default.
- W2024016985 countsByYear W20240169852013 @default.
- W2024016985 countsByYear W20240169852017 @default.
- W2024016985 countsByYear W20240169852018 @default.
- W2024016985 countsByYear W20240169852019 @default.
- W2024016985 countsByYear W20240169852020 @default.
- W2024016985 countsByYear W20240169852021 @default.
- W2024016985 crossrefType "journal-article" @default.
- W2024016985 hasAuthorship W2024016985A5061767913 @default.
- W2024016985 hasBestOaLocation W20240169851 @default.
- W2024016985 hasConcept C108710211 @default.
- W2024016985 hasConcept C111472728 @default.
- W2024016985 hasConcept C11413529 @default.
- W2024016985 hasConcept C11648818 @default.
- W2024016985 hasConcept C134306372 @default.
- W2024016985 hasConcept C138885662 @default.
- W2024016985 hasConcept C162670838 @default.
- W2024016985 hasConcept C17231256 @default.
- W2024016985 hasConcept C184337299 @default.
- W2024016985 hasConcept C195818886 @default.
- W2024016985 hasConcept C199360897 @default.
- W2024016985 hasConcept C25016198 @default.
- W2024016985 hasConcept C2524010 @default.
- W2024016985 hasConcept C2780586882 @default.
- W2024016985 hasConcept C33923547 @default.
- W2024016985 hasConcept C39920170 @default.
- W2024016985 hasConcept C41008148 @default.
- W2024016985 hasConcept C4777664 @default.
- W2024016985 hasConcept C80444323 @default.
- W2024016985 hasConcept C97489613 @default.
- W2024016985 hasConceptScore W2024016985C108710211 @default.
- W2024016985 hasConceptScore W2024016985C111472728 @default.
- W2024016985 hasConceptScore W2024016985C11413529 @default.
- W2024016985 hasConceptScore W2024016985C11648818 @default.
- W2024016985 hasConceptScore W2024016985C134306372 @default.
- W2024016985 hasConceptScore W2024016985C138885662 @default.
- W2024016985 hasConceptScore W2024016985C162670838 @default.
- W2024016985 hasConceptScore W2024016985C17231256 @default.
- W2024016985 hasConceptScore W2024016985C184337299 @default.
- W2024016985 hasConceptScore W2024016985C195818886 @default.
- W2024016985 hasConceptScore W2024016985C199360897 @default.
- W2024016985 hasConceptScore W2024016985C25016198 @default.
- W2024016985 hasConceptScore W2024016985C2524010 @default.
- W2024016985 hasConceptScore W2024016985C2780586882 @default.
- W2024016985 hasConceptScore W2024016985C33923547 @default.
- W2024016985 hasConceptScore W2024016985C39920170 @default.
- W2024016985 hasConceptScore W2024016985C41008148 @default.
- W2024016985 hasConceptScore W2024016985C4777664 @default.
- W2024016985 hasConceptScore W2024016985C80444323 @default.
- W2024016985 hasConceptScore W2024016985C97489613 @default.
- W2024016985 hasIssue "1" @default.
- W2024016985 hasLocation W20240169851 @default.
- W2024016985 hasOpenAccess W2024016985 @default.
- W2024016985 hasPrimaryLocation W20240169851 @default.
- W2024016985 hasRelatedWork W1546948343 @default.
- W2024016985 hasRelatedWork W167305266 @default.
- W2024016985 hasRelatedWork W2024016985 @default.
- W2024016985 hasRelatedWork W204539619 @default.
- W2024016985 hasRelatedWork W2057354456 @default.
- W2024016985 hasRelatedWork W2097459721 @default.
- W2024016985 hasRelatedWork W2168791893 @default.
- W2024016985 hasRelatedWork W339186269 @default.
- W2024016985 hasRelatedWork W4289650560 @default.
- W2024016985 hasRelatedWork W59129029 @default.
- W2024016985 hasVolume "65" @default.
- W2024016985 isParatext "false" @default.
- W2024016985 isRetracted "false" @default.
- W2024016985 magId "2024016985" @default.
- W2024016985 workType "article" @default.