Matches in SemOpenAlex for { <https://semopenalex.org/work/W2522715943> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2522715943 abstract "Spatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems. We shall use spatial constraint systems to give an abstract characterization of the notion of normality in modal logic and to derive right inverse/reverse operators for modal languages. In particular, we shall identify the weakest condition for the existence of right inverses and show that the abstract notion of normality corresponds to the preservation of finite suprema. We shall apply our results to existing modal languages such as the weakest normal modal logic, Hennessy-Milner logic, and linear-time temporal logic. We shall discuss our results in the context of modal concepts such as bisimilarity and inconsistency invariance." @default.
- W2522715943 created "2016-09-30" @default.
- W2522715943 creator A5013709966 @default.
- W2522715943 creator A5021897565 @default.
- W2522715943 creator A5048581559 @default.
- W2522715943 creator A5069477085 @default.
- W2522715943 date "2016-01-01" @default.
- W2522715943 modified "2023-10-17" @default.
- W2522715943 title "Deriving Inverse Operators for Modal Logic" @default.
- W2522715943 cites W1543050278 @default.
- W2522715943 cites W1549968516 @default.
- W2522715943 cites W1562998059 @default.
- W2522715943 cites W1596616520 @default.
- W2522715943 cites W1601991083 @default.
- W2522715943 cites W1769384601 @default.
- W2522715943 cites W1804287368 @default.
- W2522715943 cites W1978469611 @default.
- W2522715943 cites W2020916002 @default.
- W2522715943 cites W2033431741 @default.
- W2522715943 cites W2059796241 @default.
- W2522715943 cites W2089733758 @default.
- W2522715943 cites W2107144615 @default.
- W2522715943 cites W2164297069 @default.
- W2522715943 cites W3145061395 @default.
- W2522715943 cites W4239399053 @default.
- W2522715943 cites W4240120702 @default.
- W2522715943 doi "https://doi.org/10.1007/978-3-319-46750-4_13" @default.
- W2522715943 hasPublicationYear "2016" @default.
- W2522715943 type Work @default.
- W2522715943 sameAs 2522715943 @default.
- W2522715943 citedByCount "4" @default.
- W2522715943 countsByYear W25227159432019 @default.
- W2522715943 countsByYear W25227159432021 @default.
- W2522715943 crossrefType "book-chapter" @default.
- W2522715943 hasAuthorship W2522715943A5013709966 @default.
- W2522715943 hasAuthorship W2522715943A5021897565 @default.
- W2522715943 hasAuthorship W2522715943A5048581559 @default.
- W2522715943 hasAuthorship W2522715943A5069477085 @default.
- W2522715943 hasBestOaLocation W25227159432 @default.
- W2522715943 hasConcept C102993220 @default.
- W2522715943 hasConcept C114092440 @default.
- W2522715943 hasConcept C11413529 @default.
- W2522715943 hasConcept C185592680 @default.
- W2522715943 hasConcept C188027245 @default.
- W2522715943 hasConcept C203659156 @default.
- W2522715943 hasConcept C207467116 @default.
- W2522715943 hasConcept C2524010 @default.
- W2522715943 hasConcept C27508121 @default.
- W2522715943 hasConcept C33923547 @default.
- W2522715943 hasConcept C41008148 @default.
- W2522715943 hasConcept C71139939 @default.
- W2522715943 hasConcept C78344899 @default.
- W2522715943 hasConcept C80444323 @default.
- W2522715943 hasConceptScore W2522715943C102993220 @default.
- W2522715943 hasConceptScore W2522715943C114092440 @default.
- W2522715943 hasConceptScore W2522715943C11413529 @default.
- W2522715943 hasConceptScore W2522715943C185592680 @default.
- W2522715943 hasConceptScore W2522715943C188027245 @default.
- W2522715943 hasConceptScore W2522715943C203659156 @default.
- W2522715943 hasConceptScore W2522715943C207467116 @default.
- W2522715943 hasConceptScore W2522715943C2524010 @default.
- W2522715943 hasConceptScore W2522715943C27508121 @default.
- W2522715943 hasConceptScore W2522715943C33923547 @default.
- W2522715943 hasConceptScore W2522715943C41008148 @default.
- W2522715943 hasConceptScore W2522715943C71139939 @default.
- W2522715943 hasConceptScore W2522715943C78344899 @default.
- W2522715943 hasConceptScore W2522715943C80444323 @default.
- W2522715943 hasLocation W25227159431 @default.
- W2522715943 hasLocation W25227159432 @default.
- W2522715943 hasLocation W25227159433 @default.
- W2522715943 hasLocation W25227159434 @default.
- W2522715943 hasOpenAccess W2522715943 @default.
- W2522715943 hasPrimaryLocation W25227159431 @default.
- W2522715943 hasRelatedWork W119381390 @default.
- W2522715943 hasRelatedWork W1537541219 @default.
- W2522715943 hasRelatedWork W1566488688 @default.
- W2522715943 hasRelatedWork W2028942690 @default.
- W2522715943 hasRelatedWork W2034678120 @default.
- W2522715943 hasRelatedWork W2082558313 @default.
- W2522715943 hasRelatedWork W2087078176 @default.
- W2522715943 hasRelatedWork W2405774694 @default.
- W2522715943 hasRelatedWork W3048086811 @default.
- W2522715943 hasRelatedWork W982481174 @default.
- W2522715943 isParatext "false" @default.
- W2522715943 isRetracted "false" @default.
- W2522715943 magId "2522715943" @default.
- W2522715943 workType "book-chapter" @default.