Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073245887> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2073245887 abstract "We discuss problems arising in reasoning about on-going processes, using the modal constructs after, throughout, during, and preserves. Earlier work established decidability of the theory whose language included only the first two of these, along with program connectives | , ; and *. Here we give a complete Gentzen-type axiomatizations for useful combinations of the other modalities. We also indicate how such Gentzen-type axiomatizations lead to deterministic exponential time upper bounds on the complexity of decision procedures for these languages. It remains an open problem how to completely axiomatize the combination of modalities during and preserves." @default.
- W2073245887 created "2016-06-24" @default.
- W2073245887 creator A5052139381 @default.
- W2073245887 date "1979-01-01" @default.
- W2073245887 modified "2023-10-18" @default.
- W2073245887 title "Process logic" @default.
- W2073245887 cites W1514216237 @default.
- W2073245887 cites W1574129634 @default.
- W2073245887 cites W1980738498 @default.
- W2073245887 cites W1997703312 @default.
- W2073245887 cites W1997716585 @default.
- W2073245887 cites W2023808162 @default.
- W2073245887 cites W2039977878 @default.
- W2073245887 cites W2059034970 @default.
- W2073245887 cites W2103953153 @default.
- W2073245887 cites W3146075203 @default.
- W2073245887 cites W3182062373 @default.
- W2073245887 doi "https://doi.org/10.1145/567752.567761" @default.
- W2073245887 hasPublicationYear "1979" @default.
- W2073245887 type Work @default.
- W2073245887 sameAs 2073245887 @default.
- W2073245887 citedByCount "65" @default.
- W2073245887 countsByYear W20732458872012 @default.
- W2073245887 countsByYear W20732458872013 @default.
- W2073245887 countsByYear W20732458872014 @default.
- W2073245887 countsByYear W20732458872015 @default.
- W2073245887 countsByYear W20732458872016 @default.
- W2073245887 countsByYear W20732458872018 @default.
- W2073245887 countsByYear W20732458872020 @default.
- W2073245887 countsByYear W20732458872021 @default.
- W2073245887 countsByYear W20732458872022 @default.
- W2073245887 crossrefType "proceedings-article" @default.
- W2073245887 hasAuthorship W2073245887A5052139381 @default.
- W2073245887 hasBestOaLocation W20732458871 @default.
- W2073245887 hasConcept C112505250 @default.
- W2073245887 hasConcept C11413529 @default.
- W2073245887 hasConcept C118615104 @default.
- W2073245887 hasConcept C144024400 @default.
- W2073245887 hasConcept C153269930 @default.
- W2073245887 hasConcept C185592680 @default.
- W2073245887 hasConcept C188027245 @default.
- W2073245887 hasConcept C18903297 @default.
- W2073245887 hasConcept C199343813 @default.
- W2073245887 hasConcept C199360897 @default.
- W2073245887 hasConcept C27508121 @default.
- W2073245887 hasConcept C2777299769 @default.
- W2073245887 hasConcept C2777686260 @default.
- W2073245887 hasConcept C2779903281 @default.
- W2073245887 hasConcept C33923547 @default.
- W2073245887 hasConcept C36289849 @default.
- W2073245887 hasConcept C41008148 @default.
- W2073245887 hasConcept C52370388 @default.
- W2073245887 hasConcept C71139939 @default.
- W2073245887 hasConcept C71924100 @default.
- W2073245887 hasConcept C80444323 @default.
- W2073245887 hasConcept C86803240 @default.
- W2073245887 hasConcept C98045186 @default.
- W2073245887 hasConceptScore W2073245887C112505250 @default.
- W2073245887 hasConceptScore W2073245887C11413529 @default.
- W2073245887 hasConceptScore W2073245887C118615104 @default.
- W2073245887 hasConceptScore W2073245887C144024400 @default.
- W2073245887 hasConceptScore W2073245887C153269930 @default.
- W2073245887 hasConceptScore W2073245887C185592680 @default.
- W2073245887 hasConceptScore W2073245887C188027245 @default.
- W2073245887 hasConceptScore W2073245887C18903297 @default.
- W2073245887 hasConceptScore W2073245887C199343813 @default.
- W2073245887 hasConceptScore W2073245887C199360897 @default.
- W2073245887 hasConceptScore W2073245887C27508121 @default.
- W2073245887 hasConceptScore W2073245887C2777299769 @default.
- W2073245887 hasConceptScore W2073245887C2777686260 @default.
- W2073245887 hasConceptScore W2073245887C2779903281 @default.
- W2073245887 hasConceptScore W2073245887C33923547 @default.
- W2073245887 hasConceptScore W2073245887C36289849 @default.
- W2073245887 hasConceptScore W2073245887C41008148 @default.
- W2073245887 hasConceptScore W2073245887C52370388 @default.
- W2073245887 hasConceptScore W2073245887C71139939 @default.
- W2073245887 hasConceptScore W2073245887C71924100 @default.
- W2073245887 hasConceptScore W2073245887C80444323 @default.
- W2073245887 hasConceptScore W2073245887C86803240 @default.
- W2073245887 hasConceptScore W2073245887C98045186 @default.
- W2073245887 hasLocation W20732458871 @default.
- W2073245887 hasOpenAccess W2073245887 @default.
- W2073245887 hasPrimaryLocation W20732458871 @default.
- W2073245887 hasRelatedWork W1999165408 @default.
- W2073245887 hasRelatedWork W2076886449 @default.
- W2073245887 hasRelatedWork W2082342740 @default.
- W2073245887 hasRelatedWork W2540322980 @default.
- W2073245887 hasRelatedWork W2782151344 @default.
- W2073245887 hasRelatedWork W2962420748 @default.
- W2073245887 hasRelatedWork W3204195556 @default.
- W2073245887 hasRelatedWork W4256443165 @default.
- W2073245887 hasRelatedWork W4294810627 @default.
- W2073245887 hasRelatedWork W45950492 @default.
- W2073245887 isParatext "false" @default.
- W2073245887 isRetracted "false" @default.
- W2073245887 magId "2073245887" @default.
- W2073245887 workType "article" @default.