Matches in SemOpenAlex for { <https://semopenalex.org/work/W1516264096> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1516264096 endingPage "275" @default.
- W1516264096 startingPage "258" @default.
- W1516264096 abstract "We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, completeness and expressiveness properties from their building blocks. We apply these techniques to derive sound, complete and expressive logics for a wide variety of probabilistic systems." @default.
- W1516264096 created "2016-06-24" @default.
- W1516264096 creator A5050718588 @default.
- W1516264096 creator A5077171828 @default.
- W1516264096 date "2004-01-01" @default.
- W1516264096 modified "2023-10-16" @default.
- W1516264096 title "Modular Construction of Modal Logics" @default.
- W1516264096 cites W1543688617 @default.
- W1516264096 cites W1547562281 @default.
- W1516264096 cites W1563339455 @default.
- W1516264096 cites W1571394659 @default.
- W1516264096 cites W1590315663 @default.
- W1516264096 cites W1976268573 @default.
- W1516264096 cites W1982431152 @default.
- W1516264096 cites W1997753816 @default.
- W1516264096 cites W2015632512 @default.
- W1516264096 cites W2015640848 @default.
- W1516264096 cites W2042927584 @default.
- W1516264096 cites W2056138173 @default.
- W1516264096 cites W2060917500 @default.
- W1516264096 cites W2088189323 @default.
- W1516264096 cites W2088378600 @default.
- W1516264096 cites W2123876422 @default.
- W1516264096 cites W2154547008 @default.
- W1516264096 cites W4213277014 @default.
- W1516264096 cites W4249667877 @default.
- W1516264096 doi "https://doi.org/10.1007/978-3-540-28644-8_17" @default.
- W1516264096 hasPublicationYear "2004" @default.
- W1516264096 type Work @default.
- W1516264096 sameAs 1516264096 @default.
- W1516264096 citedByCount "35" @default.
- W1516264096 countsByYear W15162640962015 @default.
- W1516264096 countsByYear W15162640962017 @default.
- W1516264096 countsByYear W15162640962018 @default.
- W1516264096 countsByYear W15162640962020 @default.
- W1516264096 crossrefType "book-chapter" @default.
- W1516264096 hasAuthorship W1516264096A5050718588 @default.
- W1516264096 hasAuthorship W1516264096A5077171828 @default.
- W1516264096 hasBestOaLocation W15162640962 @default.
- W1516264096 hasConcept C101468663 @default.
- W1516264096 hasConcept C134306372 @default.
- W1516264096 hasConcept C136197465 @default.
- W1516264096 hasConcept C154945302 @default.
- W1516264096 hasConcept C17231256 @default.
- W1516264096 hasConcept C184337299 @default.
- W1516264096 hasConcept C185592680 @default.
- W1516264096 hasConcept C188027245 @default.
- W1516264096 hasConcept C199360897 @default.
- W1516264096 hasConcept C27508121 @default.
- W1516264096 hasConcept C33923547 @default.
- W1516264096 hasConcept C39920170 @default.
- W1516264096 hasConcept C41008148 @default.
- W1516264096 hasConcept C42011625 @default.
- W1516264096 hasConcept C5263885 @default.
- W1516264096 hasConcept C58166 @default.
- W1516264096 hasConcept C60048249 @default.
- W1516264096 hasConcept C71139939 @default.
- W1516264096 hasConcept C80444323 @default.
- W1516264096 hasConcept C86602344 @default.
- W1516264096 hasConceptScore W1516264096C101468663 @default.
- W1516264096 hasConceptScore W1516264096C134306372 @default.
- W1516264096 hasConceptScore W1516264096C136197465 @default.
- W1516264096 hasConceptScore W1516264096C154945302 @default.
- W1516264096 hasConceptScore W1516264096C17231256 @default.
- W1516264096 hasConceptScore W1516264096C184337299 @default.
- W1516264096 hasConceptScore W1516264096C185592680 @default.
- W1516264096 hasConceptScore W1516264096C188027245 @default.
- W1516264096 hasConceptScore W1516264096C199360897 @default.
- W1516264096 hasConceptScore W1516264096C27508121 @default.
- W1516264096 hasConceptScore W1516264096C33923547 @default.
- W1516264096 hasConceptScore W1516264096C39920170 @default.
- W1516264096 hasConceptScore W1516264096C41008148 @default.
- W1516264096 hasConceptScore W1516264096C42011625 @default.
- W1516264096 hasConceptScore W1516264096C5263885 @default.
- W1516264096 hasConceptScore W1516264096C58166 @default.
- W1516264096 hasConceptScore W1516264096C60048249 @default.
- W1516264096 hasConceptScore W1516264096C71139939 @default.
- W1516264096 hasConceptScore W1516264096C80444323 @default.
- W1516264096 hasConceptScore W1516264096C86602344 @default.
- W1516264096 hasLocation W15162640961 @default.
- W1516264096 hasLocation W15162640962 @default.
- W1516264096 hasOpenAccess W1516264096 @default.
- W1516264096 hasPrimaryLocation W15162640961 @default.
- W1516264096 hasRelatedWork W2088372138 @default.
- W1516264096 hasRelatedWork W2110715144 @default.
- W1516264096 hasRelatedWork W2146482562 @default.
- W1516264096 hasRelatedWork W2346540577 @default.
- W1516264096 hasRelatedWork W2355443701 @default.
- W1516264096 hasRelatedWork W2620475325 @default.
- W1516264096 hasRelatedWork W2978361984 @default.
- W1516264096 hasRelatedWork W370643465 @default.
- W1516264096 hasRelatedWork W4286694953 @default.
- W1516264096 hasRelatedWork W2585164934 @default.
- W1516264096 isParatext "false" @default.
- W1516264096 isRetracted "false" @default.
- W1516264096 magId "1516264096" @default.
- W1516264096 workType "book-chapter" @default.