FRINK Linked Data Fragments server

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

• W1570796240 endingPage "80" @default.
• W1570796240 startingPage "66" @default.
• W1570796240 abstract "Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal logic, and coalition logic, as well as the usual Kripke semantics of modal logic. In earlier work, the finite model property for coalgebraic logics has been established w.r.t. the class of all structures appropriate for a given logic at hand; the corresponding modal logics are characterised by being axiomatised in rank 1, i.e. without nested modalities. Here, we extend the range of coalgebraic techniques to cover logics that impose global properties on their models, formulated as frame conditions with possibly nested modalities on the logical side (in generalisation of frame conditions such as symmetry or transitivity in the context of Kripke frames). We show that the finite model property for such logics follows from the finite algebra property of the associated class of complex algebras, and then investigate sufficient conditions for the finite algebra property to hold. Example applications include extensions of coalition logic and logics of uncertainty and knowledge." @default.
• W1570796240 created "2016-06-24" @default.
• W1570796240 creator A5073765060 @default.
• W1570796240 creator A5077171828 @default.
• W1570796240 date "2008-04-01" @default.
• W1570796240 modified "2023-10-16" @default.
• W1570796240 title "Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics" @default.
• W1570796240 cites W1499184985 @default.
• W1570796240 cites W1503860275 @default.
• W1570796240 cites W1510082095 @default.
• W1570796240 cites W1515545234 @default.
• W1570796240 cites W1516264096 @default.
• W1570796240 cites W1525860295 @default.
• W1570796240 cites W1568599313 @default.
• W1570796240 cites W1976268573 @default.
• W1570796240 cites W1982431152 @default.
• W1570796240 cites W2000129083 @default.
• W1570796240 cites W2015632512 @default.
• W1570796240 cites W2062285040 @default.
• W1570796240 cites W2079600887 @default.
• W1570796240 cites W2086035610 @default.
• W1570796240 cites W2109058602 @default.
• W1570796240 cites W2315064349 @default.
• W1570796240 cites W2912848864 @default.
• W1570796240 cites W4242309855 @default.
• W1570796240 cites W4244478014 @default.
• W1570796240 doi "https://doi.org/10.1007/978-3-540-78499-9_6" @default.
• W1570796240 hasPublicationYear "2008" @default.
• W1570796240 type Work @default.
• W1570796240 sameAs 1570796240 @default.
• W1570796240 citedByCount "16" @default.
• W1570796240 countsByYear W15707962402012 @default.
• W1570796240 countsByYear W15707962402013 @default.
• W1570796240 countsByYear W15707962402015 @default.
• W1570796240 countsByYear W15707962402016 @default.
• W1570796240 countsByYear W15707962402018 @default.
• W1570796240 countsByYear W15707962402020 @default.
• W1570796240 countsByYear W15707962402022 @default.
• W1570796240 crossrefType "book-chapter" @default.
• W1570796240 hasAuthorship W1570796240A5073765060 @default.
• W1570796240 hasAuthorship W1570796240A5077171828 @default.
• W1570796240 hasBestOaLocation W15707962401 @default.
• W1570796240 hasConcept C102993220 @default.
• W1570796240 hasConcept C111472728 @default.
• W1570796240 hasConcept C11191006 @default.
• W1570796240 hasConcept C114092440 @default.
• W1570796240 hasConcept C118615104 @default.
• W1570796240 hasConcept C134306372 @default.
• W1570796240 hasConcept C136119220 @default.
• W1570796240 hasConcept C138885662 @default.
• W1570796240 hasConcept C154945302 @default.
• W1570796240 hasConcept C160131679 @default.
• W1570796240 hasConcept C173125200 @default.
• W1570796240 hasConcept C185592680 @default.
• W1570796240 hasConcept C188027245 @default.
• W1570796240 hasConcept C1883856 @default.
• W1570796240 hasConcept C189950617 @default.
• W1570796240 hasConcept C192609573 @default.
• W1570796240 hasConcept C202444582 @default.
• W1570796240 hasConcept C203659156 @default.
• W1570796240 hasConcept C27508121 @default.
• W1570796240 hasConcept C2777212361 @default.
• W1570796240 hasConcept C2778249326 @default.
• W1570796240 hasConcept C2779729104 @default.
• W1570796240 hasConcept C33923547 @default.
• W1570796240 hasConcept C41008148 @default.
• W1570796240 hasConcept C42011625 @default.
• W1570796240 hasConcept C5263885 @default.
• W1570796240 hasConcept C58166 @default.
• W1570796240 hasConcept C71139939 @default.
• W1570796240 hasConcept C80444323 @default.
• W1570796240 hasConcept C86602344 @default.
• W1570796240 hasConcept C9376300 @default.
• W1570796240 hasConcept C98224912 @default.
• W1570796240 hasConceptScore W1570796240C102993220 @default.
• W1570796240 hasConceptScore W1570796240C111472728 @default.
• W1570796240 hasConceptScore W1570796240C11191006 @default.
• W1570796240 hasConceptScore W1570796240C114092440 @default.
• W1570796240 hasConceptScore W1570796240C118615104 @default.
• W1570796240 hasConceptScore W1570796240C134306372 @default.
• W1570796240 hasConceptScore W1570796240C136119220 @default.
• W1570796240 hasConceptScore W1570796240C138885662 @default.
• W1570796240 hasConceptScore W1570796240C154945302 @default.
• W1570796240 hasConceptScore W1570796240C160131679 @default.
• W1570796240 hasConceptScore W1570796240C173125200 @default.
• W1570796240 hasConceptScore W1570796240C185592680 @default.
• W1570796240 hasConceptScore W1570796240C188027245 @default.
• W1570796240 hasConceptScore W1570796240C1883856 @default.
• W1570796240 hasConceptScore W1570796240C189950617 @default.
• W1570796240 hasConceptScore W1570796240C192609573 @default.
• W1570796240 hasConceptScore W1570796240C202444582 @default.
• W1570796240 hasConceptScore W1570796240C203659156 @default.
• W1570796240 hasConceptScore W1570796240C27508121 @default.
• W1570796240 hasConceptScore W1570796240C2777212361 @default.
• W1570796240 hasConceptScore W1570796240C2778249326 @default.
• W1570796240 hasConceptScore W1570796240C2779729104 @default.
• W1570796240 hasConceptScore W1570796240C33923547 @default.
• W1570796240 hasConceptScore W1570796240C41008148 @default.

• next