FRINK Linked Data Fragments server

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

• W2321808003 abstract "We introduce a new order-topological semantics for the positive modal mu-calculus over modal compact Hausdorff spaces, which are generalizations of descriptive frames. We define Sahlqvist sequents in this language, prove Esakia's lemma and Sahlqvist preservation theorem for this semantics. We show that every Sahlqvist sequent has a frame correspondent in first-order logic with fixed-point operators." @default.
• W2321808003 created "2016-06-24" @default.
• W2321808003 creator A5045687469 @default.
• W2321808003 creator A5048515647 @default.
• W2321808003 date "2015-04-12" @default.
• W2321808003 modified "2023-09-25" @default.
• W2321808003 title "Sahlqvist preservation for topological fixed-point logic" @default.
• W2321808003 cites W1602062035 @default.
• W2321808003 cites W1970051856 @default.
• W2321808003 cites W2000181146 @default.
• W2321808003 cites W2015640848 @default.
• W2321808003 cites W2037711229 @default.
• W2321808003 cites W2041784286 @default.
• W2321808003 cites W2048154108 @default.
• W2321808003 cites W2057503265 @default.
• W2321808003 cites W2071467583 @default.
• W2321808003 cites W2076805456 @default.
• W2321808003 cites W2079922393 @default.
• W2321808003 cites W2080427861 @default.
• W2321808003 cites W2111082593 @default.
• W2321808003 cites W2116193330 @default.
• W2321808003 cites W2117200542 @default.
• W2321808003 cites W2145852765 @default.
• W2321808003 cites W2315064349 @default.
• W2321808003 cites W2912848864 @default.
• W2321808003 cites W4242798172 @default.
• W2321808003 doi "https://doi.org/10.1093/logcom/exv010" @default.
• W2321808003 hasPublicationYear "2015" @default.
• W2321808003 type Work @default.
• W2321808003 sameAs 2321808003 @default.
• W2321808003 citedByCount "3" @default.
• W2321808003 countsByYear W23218080032015 @default.
• W2321808003 countsByYear W23218080032016 @default.
• W2321808003 countsByYear W23218080032017 @default.
• W2321808003 crossrefType "journal-article" @default.
• W2321808003 hasAuthorship W2321808003A5045687469 @default.
• W2321808003 hasAuthorship W2321808003A5048515647 @default.
• W2321808003 hasConcept C102993220 @default.
• W2321808003 hasConcept C108710211 @default.
• W2321808003 hasConcept C114614502 @default.
• W2321808003 hasConcept C118615104 @default.
• W2321808003 hasConcept C126042441 @default.
• W2321808003 hasConcept C136119220 @default.
• W2321808003 hasConcept C144791301 @default.
• W2321808003 hasConcept C169896238 @default.
• W2321808003 hasConcept C184720557 @default.
• W2321808003 hasConcept C185592680 @default.
• W2321808003 hasConcept C188027245 @default.
• W2321808003 hasConcept C18903297 @default.
• W2321808003 hasConcept C191399826 @default.
• W2321808003 hasConcept C202444582 @default.
• W2321808003 hasConcept C2524010 @default.
• W2321808003 hasConcept C27508121 @default.
• W2321808003 hasConcept C2777759810 @default.
• W2321808003 hasConcept C33923547 @default.
• W2321808003 hasConcept C41008148 @default.
• W2321808003 hasConcept C45962547 @default.
• W2321808003 hasConcept C46757340 @default.
• W2321808003 hasConcept C65880906 @default.
• W2321808003 hasConcept C71139939 @default.
• W2321808003 hasConcept C76155785 @default.
• W2321808003 hasConcept C80444323 @default.
• W2321808003 hasConcept C86803240 @default.
• W2321808003 hasConceptScore W2321808003C102993220 @default.
• W2321808003 hasConceptScore W2321808003C108710211 @default.
• W2321808003 hasConceptScore W2321808003C114614502 @default.
• W2321808003 hasConceptScore W2321808003C118615104 @default.
• W2321808003 hasConceptScore W2321808003C126042441 @default.
• W2321808003 hasConceptScore W2321808003C136119220 @default.
• W2321808003 hasConceptScore W2321808003C144791301 @default.
• W2321808003 hasConceptScore W2321808003C169896238 @default.
• W2321808003 hasConceptScore W2321808003C184720557 @default.
• W2321808003 hasConceptScore W2321808003C185592680 @default.
• W2321808003 hasConceptScore W2321808003C188027245 @default.
• W2321808003 hasConceptScore W2321808003C18903297 @default.
• W2321808003 hasConceptScore W2321808003C191399826 @default.
• W2321808003 hasConceptScore W2321808003C202444582 @default.
• W2321808003 hasConceptScore W2321808003C2524010 @default.
• W2321808003 hasConceptScore W2321808003C27508121 @default.
• W2321808003 hasConceptScore W2321808003C2777759810 @default.
• W2321808003 hasConceptScore W2321808003C33923547 @default.
• W2321808003 hasConceptScore W2321808003C41008148 @default.
• W2321808003 hasConceptScore W2321808003C45962547 @default.
• W2321808003 hasConceptScore W2321808003C46757340 @default.
• W2321808003 hasConceptScore W2321808003C65880906 @default.
• W2321808003 hasConceptScore W2321808003C71139939 @default.
• W2321808003 hasConceptScore W2321808003C76155785 @default.
• W2321808003 hasConceptScore W2321808003C80444323 @default.
• W2321808003 hasConceptScore W2321808003C86803240 @default.
• W2321808003 hasLocation W23218080031 @default.
• W2321808003 hasOpenAccess W2321808003 @default.
• W2321808003 hasPrimaryLocation W23218080031 @default.
• W2321808003 hasRelatedWork W1506082922 @default.
• W2321808003 hasRelatedWork W1589725381 @default.
• W2321808003 hasRelatedWork W182346379 @default.
• W2321808003 hasRelatedWork W1898215458 @default.
• W2321808003 hasRelatedWork W1965630431 @default.
• W2321808003 hasRelatedWork W1975560341 @default.
• W2321808003 hasRelatedWork W1979035026 @default.
• W2321808003 hasRelatedWork W1994230264 @default.

• next