Matches in SemOpenAlex for { <https://semopenalex.org/work/W4225539085> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4225539085 abstract "This paper investigates first-order game logic and first-order modal mu-calculus, which extend their propositional modal logic counterparts with first-order modalities of interpreted effects such as variable assignments. Unlike in the propositional case, both logics are shown to have the same expressive power and their proof calculi to have the same deductive power. Both calculi are also mutually relatively complete. In the presence of differential equations, corollaries obtain usable and complete translations between differential game logic, a logic for the deductive verification of hybrid games, and the differential mu-calculus, the modal mu-calculus for hybrid systems. The differential mu-calculus is complete with respect to first-order fixpoint logic and differential game logic is complete with respect to its ODE-free fragment." @default.
- W4225539085 created "2022-05-05" @default.
- W4225539085 creator A5074168612 @default.
- W4225539085 creator A5080481427 @default.
- W4225539085 date "2022-01-24" @default.
- W4225539085 modified "2023-10-10" @default.
- W4225539085 title "First-Order Game Logic and Modal Mu-Calculus" @default.
- W4225539085 doi "https://doi.org/10.48550/arxiv.2201.10012" @default.
- W4225539085 hasPublicationYear "2022" @default.
- W4225539085 type Work @default.
- W4225539085 citedByCount "0" @default.
- W4225539085 crossrefType "posted-content" @default.
- W4225539085 hasAuthorship W4225539085A5074168612 @default.
- W4225539085 hasAuthorship W4225539085A5080481427 @default.
- W4225539085 hasBestOaLocation W42255390851 @default.
- W4225539085 hasConcept C102993220 @default.
- W4225539085 hasConcept C110039528 @default.
- W4225539085 hasConcept C11191006 @default.
- W4225539085 hasConcept C114092440 @default.
- W4225539085 hasConcept C118615104 @default.
- W4225539085 hasConcept C121332964 @default.
- W4225539085 hasConcept C127413603 @default.
- W4225539085 hasConcept C14523651 @default.
- W4225539085 hasConcept C146978453 @default.
- W4225539085 hasConcept C165801399 @default.
- W4225539085 hasConcept C172385210 @default.
- W4225539085 hasConcept C173125200 @default.
- W4225539085 hasConcept C185592680 @default.
- W4225539085 hasConcept C188027245 @default.
- W4225539085 hasConcept C195818886 @default.
- W4225539085 hasConcept C199343813 @default.
- W4225539085 hasConcept C199360897 @default.
- W4225539085 hasConcept C202444582 @default.
- W4225539085 hasConcept C203659156 @default.
- W4225539085 hasConcept C27508121 @default.
- W4225539085 hasConcept C2777686260 @default.
- W4225539085 hasConcept C2777796570 @default.
- W4225539085 hasConcept C33203268 @default.
- W4225539085 hasConcept C33923547 @default.
- W4225539085 hasConcept C41008148 @default.
- W4225539085 hasConcept C56802139 @default.
- W4225539085 hasConcept C62073222 @default.
- W4225539085 hasConcept C62520636 @default.
- W4225539085 hasConcept C69562738 @default.
- W4225539085 hasConcept C71139939 @default.
- W4225539085 hasConcept C71924100 @default.
- W4225539085 hasConcept C78344899 @default.
- W4225539085 hasConcept C93226319 @default.
- W4225539085 hasConceptScore W4225539085C102993220 @default.
- W4225539085 hasConceptScore W4225539085C110039528 @default.
- W4225539085 hasConceptScore W4225539085C11191006 @default.
- W4225539085 hasConceptScore W4225539085C114092440 @default.
- W4225539085 hasConceptScore W4225539085C118615104 @default.
- W4225539085 hasConceptScore W4225539085C121332964 @default.
- W4225539085 hasConceptScore W4225539085C127413603 @default.
- W4225539085 hasConceptScore W4225539085C14523651 @default.
- W4225539085 hasConceptScore W4225539085C146978453 @default.
- W4225539085 hasConceptScore W4225539085C165801399 @default.
- W4225539085 hasConceptScore W4225539085C172385210 @default.
- W4225539085 hasConceptScore W4225539085C173125200 @default.
- W4225539085 hasConceptScore W4225539085C185592680 @default.
- W4225539085 hasConceptScore W4225539085C188027245 @default.
- W4225539085 hasConceptScore W4225539085C195818886 @default.
- W4225539085 hasConceptScore W4225539085C199343813 @default.
- W4225539085 hasConceptScore W4225539085C199360897 @default.
- W4225539085 hasConceptScore W4225539085C202444582 @default.
- W4225539085 hasConceptScore W4225539085C203659156 @default.
- W4225539085 hasConceptScore W4225539085C27508121 @default.
- W4225539085 hasConceptScore W4225539085C2777686260 @default.
- W4225539085 hasConceptScore W4225539085C2777796570 @default.
- W4225539085 hasConceptScore W4225539085C33203268 @default.
- W4225539085 hasConceptScore W4225539085C33923547 @default.
- W4225539085 hasConceptScore W4225539085C41008148 @default.
- W4225539085 hasConceptScore W4225539085C56802139 @default.
- W4225539085 hasConceptScore W4225539085C62073222 @default.
- W4225539085 hasConceptScore W4225539085C62520636 @default.
- W4225539085 hasConceptScore W4225539085C69562738 @default.
- W4225539085 hasConceptScore W4225539085C71139939 @default.
- W4225539085 hasConceptScore W4225539085C71924100 @default.
- W4225539085 hasConceptScore W4225539085C78344899 @default.
- W4225539085 hasConceptScore W4225539085C93226319 @default.
- W4225539085 hasLocation W42255390851 @default.
- W4225539085 hasOpenAccess W4225539085 @default.
- W4225539085 hasPrimaryLocation W42255390851 @default.
- W4225539085 hasRelatedWork W1537541219 @default.
- W4225539085 hasRelatedWork W1996093895 @default.
- W4225539085 hasRelatedWork W2067687795 @default.
- W4225539085 hasRelatedWork W2074424462 @default.
- W4225539085 hasRelatedWork W2082558313 @default.
- W4225539085 hasRelatedWork W2151087759 @default.
- W4225539085 hasRelatedWork W2162253430 @default.
- W4225539085 hasRelatedWork W2165514069 @default.
- W4225539085 hasRelatedWork W2409123672 @default.
- W4225539085 hasRelatedWork W4225539085 @default.
- W4225539085 isParatext "false" @default.
- W4225539085 isRetracted "false" @default.
- W4225539085 workType "article" @default.