FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1771944222> ?p ?o ?g. }

• W1771944222 abstract "Publisher Summary This chapter surveys two key combination methods––namely, fusions and products. It also examines some other combination methods. The properties of combined logics depend on those of their components plus the particular method of combination. The idea of combining modal logics is natural for many applications. The chapter explores the way in which modal logics can be combined and highlights the consequences of combining them. The formation of fusions is the simplest and the most natural way of combining modal logics. The formation of Cartesian products of various structures—vector and topological spaces, algebras—is a standard mathematical way of capturing the multidimensional character of the world. In modal logic, products of Kripke frames are natural constructions allowing it to reflect interactions between modal operators representing time, space, knowledge, or actions. The product construction as a combination method on modal logics is introduced and is used in applications in computer science and artificial intelligence." @default.
• W1771944222 created "2016-06-24" @default.
• W1771944222 creator A5038619560 @default.
• W1771944222 date "2007-01-01" @default.
• W1771944222 modified "2023-09-25" @default.
• W1771944222 title "15 Combining modal logics" @default.
• W1771944222 cites W1481249376 @default.
• W1771944222 cites W1489614395 @default.
• W1771944222 cites W1509862761 @default.
• W1771944222 cites W1669019556 @default.
• W1771944222 cites W1753706763 @default.
• W1771944222 cites W1886844571 @default.
• W1771944222 cites W1966911791 @default.
• W1771944222 cites W1968658145 @default.
• W1771944222 cites W1976530497 @default.
• W1771944222 cites W1978169673 @default.
• W1771944222 cites W1981237135 @default.
• W1771944222 cites W1987814265 @default.
• W1771944222 cites W1988434703 @default.
• W1771944222 cites W2002176884 @default.
• W1771944222 cites W2009762006 @default.
• W1771944222 cites W2012917747 @default.
• W1771944222 cites W2017661088 @default.
• W1771944222 cites W2019539243 @default.
• W1771944222 cites W2021704447 @default.
• W1771944222 cites W2022355674 @default.
• W1771944222 cites W2025446374 @default.
• W1771944222 cites W2040022302 @default.
• W1771944222 cites W2040116896 @default.
• W1771944222 cites W2040575807 @default.
• W1771944222 cites W2045554431 @default.
• W1771944222 cites W2057232741 @default.
• W1771944222 cites W2070636184 @default.
• W1771944222 cites W2074424462 @default.
• W1771944222 cites W2076073997 @default.
• W1771944222 cites W2081329681 @default.
• W1771944222 cites W2118324648 @default.
• W1771944222 cites W2123970780 @default.
• W1771944222 cites W2124576280 @default.
• W1771944222 cites W2138126349 @default.
• W1771944222 cites W3105686525 @default.
• W1771944222 cites W4252113473 @default.
• W1771944222 doi "https://doi.org/10.1016/s1570-2464(07)80018-8" @default.
• W1771944222 hasPublicationYear "2007" @default.
• W1771944222 type Work @default.
• W1771944222 sameAs 1771944222 @default.
• W1771944222 citedByCount "46" @default.
• W1771944222 countsByYear W17719442222012 @default.
• W1771944222 countsByYear W17719442222013 @default.
• W1771944222 countsByYear W17719442222014 @default.
• W1771944222 countsByYear W17719442222015 @default.
• W1771944222 countsByYear W17719442222016 @default.
• W1771944222 countsByYear W17719442222017 @default.
• W1771944222 countsByYear W17719442222018 @default.
• W1771944222 countsByYear W17719442222019 @default.
• W1771944222 countsByYear W17719442222020 @default.
• W1771944222 countsByYear W17719442222021 @default.
• W1771944222 countsByYear W17719442222022 @default.
• W1771944222 crossrefType "book-chapter" @default.
• W1771944222 hasAuthorship W1771944222A5038619560 @default.
• W1771944222 hasConcept C102993220 @default.
• W1771944222 hasConcept C11191006 @default.
• W1771944222 hasConcept C114092440 @default.
• W1771944222 hasConcept C11413529 @default.
• W1771944222 hasConcept C118615104 @default.
• W1771944222 hasConcept C136119220 @default.
• W1771944222 hasConcept C154945302 @default.
• W1771944222 hasConcept C160131679 @default.
• W1771944222 hasConcept C185592680 @default.
• W1771944222 hasConcept C188027245 @default.
• W1771944222 hasConcept C202444582 @default.
• W1771944222 hasConcept C203659156 @default.
• W1771944222 hasConcept C2524010 @default.
• W1771944222 hasConcept C26517878 @default.
• W1771944222 hasConcept C27508121 @default.
• W1771944222 hasConcept C33923547 @default.
• W1771944222 hasConcept C38652104 @default.
• W1771944222 hasConcept C41008148 @default.
• W1771944222 hasConcept C42011625 @default.
• W1771944222 hasConcept C5263885 @default.
• W1771944222 hasConcept C58166 @default.
• W1771944222 hasConcept C65236422 @default.
• W1771944222 hasConcept C71139939 @default.
• W1771944222 hasConcept C78344899 @default.
• W1771944222 hasConcept C80444323 @default.
• W1771944222 hasConcept C86602344 @default.
• W1771944222 hasConcept C90673727 @default.
• W1771944222 hasConceptScore W1771944222C102993220 @default.
• W1771944222 hasConceptScore W1771944222C11191006 @default.
• W1771944222 hasConceptScore W1771944222C114092440 @default.
• W1771944222 hasConceptScore W1771944222C11413529 @default.
• W1771944222 hasConceptScore W1771944222C118615104 @default.
• W1771944222 hasConceptScore W1771944222C136119220 @default.
• W1771944222 hasConceptScore W1771944222C154945302 @default.
• W1771944222 hasConceptScore W1771944222C160131679 @default.
• W1771944222 hasConceptScore W1771944222C185592680 @default.
• W1771944222 hasConceptScore W1771944222C188027245 @default.
• W1771944222 hasConceptScore W1771944222C202444582 @default.
• W1771944222 hasConceptScore W1771944222C203659156 @default.
• W1771944222 hasConceptScore W1771944222C2524010 @default.

• next