Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124327997> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2124327997 endingPage "398" @default.
- W2124327997 startingPage "387" @default.
- W2124327997 abstract "We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intended use is the declarative specification of systems that are conceptually described by a multitude of objects. In an example specification of the controls of a railroad crossing we demonstrate how MODL can be used to give semantics and reasoning capacity to graphical languages for communicating multi-object systems. Finally we study to what extend temporal and mixed dynamic/temporal properties can be expressed in MODL." @default.
- W2124327997 created "2016-06-24" @default.
- W2124327997 creator A5001106217 @default.
- W2124327997 creator A5028990834 @default.
- W2124327997 date "1999-01-01" @default.
- W2124327997 modified "2023-09-25" @default.
- W2124327997 title "A Logic for the Specification of Multi-Object Systems" @default.
- W2124327997 cites W1483661952 @default.
- W2124327997 cites W1490966766 @default.
- W2124327997 cites W1991259963 @default.
- W2124327997 cites W2005819264 @default.
- W2124327997 cites W2026388404 @default.
- W2124327997 cites W2045641460 @default.
- W2124327997 cites W2059396299 @default.
- W2124327997 cites W2100340106 @default.
- W2124327997 cites W2113699261 @default.
- W2124327997 cites W2117189826 @default.
- W2124327997 cites W2158376721 @default.
- W2124327997 doi "https://doi.org/10.1007/978-0-387-35562-7_30" @default.
- W2124327997 hasPublicationYear "1999" @default.
- W2124327997 type Work @default.
- W2124327997 sameAs 2124327997 @default.
- W2124327997 citedByCount "1" @default.
- W2124327997 crossrefType "book-chapter" @default.
- W2124327997 hasAuthorship W2124327997A5001106217 @default.
- W2124327997 hasAuthorship W2124327997A5028990834 @default.
- W2124327997 hasBestOaLocation W21243279971 @default.
- W2124327997 hasConcept C11648818 @default.
- W2124327997 hasConcept C119599485 @default.
- W2124327997 hasConcept C127413603 @default.
- W2124327997 hasConcept C134306372 @default.
- W2124327997 hasConcept C154945302 @default.
- W2124327997 hasConcept C162670838 @default.
- W2124327997 hasConcept C165801399 @default.
- W2124327997 hasConcept C172385210 @default.
- W2124327997 hasConcept C177148314 @default.
- W2124327997 hasConcept C184337299 @default.
- W2124327997 hasConcept C199360897 @default.
- W2124327997 hasConcept C25016198 @default.
- W2124327997 hasConcept C2777796570 @default.
- W2124327997 hasConcept C2781238097 @default.
- W2124327997 hasConcept C33923547 @default.
- W2124327997 hasConcept C41008148 @default.
- W2124327997 hasConcept C80444323 @default.
- W2124327997 hasConceptScore W2124327997C11648818 @default.
- W2124327997 hasConceptScore W2124327997C119599485 @default.
- W2124327997 hasConceptScore W2124327997C127413603 @default.
- W2124327997 hasConceptScore W2124327997C134306372 @default.
- W2124327997 hasConceptScore W2124327997C154945302 @default.
- W2124327997 hasConceptScore W2124327997C162670838 @default.
- W2124327997 hasConceptScore W2124327997C165801399 @default.
- W2124327997 hasConceptScore W2124327997C172385210 @default.
- W2124327997 hasConceptScore W2124327997C177148314 @default.
- W2124327997 hasConceptScore W2124327997C184337299 @default.
- W2124327997 hasConceptScore W2124327997C199360897 @default.
- W2124327997 hasConceptScore W2124327997C25016198 @default.
- W2124327997 hasConceptScore W2124327997C2777796570 @default.
- W2124327997 hasConceptScore W2124327997C2781238097 @default.
- W2124327997 hasConceptScore W2124327997C33923547 @default.
- W2124327997 hasConceptScore W2124327997C41008148 @default.
- W2124327997 hasConceptScore W2124327997C80444323 @default.
- W2124327997 hasLocation W21243279971 @default.
- W2124327997 hasLocation W21243279972 @default.
- W2124327997 hasOpenAccess W2124327997 @default.
- W2124327997 hasPrimaryLocation W21243279971 @default.
- W2124327997 hasRelatedWork W1515452107 @default.
- W2124327997 hasRelatedWork W1518987834 @default.
- W2124327997 hasRelatedWork W1816240867 @default.
- W2124327997 hasRelatedWork W2030926579 @default.
- W2124327997 hasRelatedWork W2114609077 @default.
- W2124327997 hasRelatedWork W2117107687 @default.
- W2124327997 hasRelatedWork W2180066852 @default.
- W2124327997 hasRelatedWork W2395144056 @default.
- W2124327997 hasRelatedWork W4287867357 @default.
- W2124327997 hasRelatedWork W57552812 @default.
- W2124327997 isParatext "false" @default.
- W2124327997 isRetracted "false" @default.
- W2124327997 magId "2124327997" @default.
- W2124327997 workType "book-chapter" @default.