FRINK Linked Data Fragments server

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

• W3207413620 abstract "Modal logic with propositional quantifiers (i.e. second-order propositional modal logic (SOPML)) has been considered since the early time of modal logic. Its expressive power and complexity are high, and its van-Benthem-Rosen theorem and Goldblatt-Thomason theorem have been proved by ten Cate (2006). However, the Sahlqvist theory of SOPML has not been considered in the literature. In the present paper, we fill in this gap. We develop the Sahlqvist correspondence theory for SOPML, which covers and properly extends existing Sahlqvist formulas in basic modal logic. We define the class of Sahlqvist formulas for SOMPL step by step in a hierarchical way, each formula of which is shown to have a first-order correspondent over Kripke frames effectively computable by an algorithm $ALBA^{SOMPL}$. In addition, we show that certain $Pi_2$-rules correspond to $Pi_2$-Sahlqvist formulas in SOMPL, which further correspond to first-order conditions, and that even for very simple SOMPL Sahlqvist formulas, they could already be non-canonical." @default.
• W3207413620 created "2021-10-25" @default.
• W3207413620 creator A5051049711 @default.
• W3207413620 date "2021-10-16" @default.
• W3207413620 modified "2023-09-27" @default.
• W3207413620 title "Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic." @default.
• W3207413620 cites W1494501165 @default.
• W3207413620 cites W1527720545 @default.
• W3207413620 cites W1553699704 @default.
• W3207413620 cites W1587775057 @default.
• W3207413620 cites W1603602114 @default.
• W3207413620 cites W1818048204 @default.
• W3207413620 cites W1969118410 @default.
• W3207413620 cites W1970051856 @default.
• W3207413620 cites W1994385438 @default.
• W3207413620 cites W2006418637 @default.
• W3207413620 cites W2007901899 @default.
• W3207413620 cites W2048154108 @default.
• W3207413620 cites W2061003582 @default.
• W3207413620 cites W2065586815 @default.
• W3207413620 cites W2071786581 @default.
• W3207413620 cites W2074899782 @default.
• W3207413620 cites W2093270475 @default.
• W3207413620 cites W2122871622 @default.
• W3207413620 cites W2124207901 @default.
• W3207413620 cites W2126382654 @default.
• W3207413620 cites W2155581733 @default.
• W3207413620 cites W2293955879 @default.
• W3207413620 cites W2409123672 @default.
• W3207413620 cites W2525757143 @default.
• W3207413620 cites W2809786529 @default.
• W3207413620 cites W2890631386 @default.
• W3207413620 cites W2954562902 @default.
• W3207413620 cites W2963646327 @default.
• W3207413620 cites W2994698876 @default.
• W3207413620 hasPublicationYear "2021" @default.
• W3207413620 type Work @default.
• W3207413620 sameAs 3207413620 @default.
• W3207413620 citedByCount "0" @default.
• W3207413620 crossrefType "posted-content" @default.
• W3207413620 hasAuthorship W3207413620A5051049711 @default.
• W3207413620 hasConcept C102993220 @default.
• W3207413620 hasConcept C110039528 @default.
• W3207413620 hasConcept C111472728 @default.
• W3207413620 hasConcept C114092440 @default.
• W3207413620 hasConcept C118615104 @default.
• W3207413620 hasConcept C121332964 @default.
• W3207413620 hasConcept C136119220 @default.
• W3207413620 hasConcept C138885662 @default.
• W3207413620 hasConcept C14523651 @default.
• W3207413620 hasConcept C154945302 @default.
• W3207413620 hasConcept C165801399 @default.
• W3207413620 hasConcept C172385210 @default.
• W3207413620 hasConcept C185592680 @default.
• W3207413620 hasConcept C188027245 @default.
• W3207413620 hasConcept C191222856 @default.
• W3207413620 hasConcept C195818886 @default.
• W3207413620 hasConcept C199343813 @default.
• W3207413620 hasConcept C202444582 @default.
• W3207413620 hasConcept C203659156 @default.
• W3207413620 hasConcept C27508121 @default.
• W3207413620 hasConcept C2777212361 @default.
• W3207413620 hasConcept C2777686260 @default.
• W3207413620 hasConcept C2777796570 @default.
• W3207413620 hasConcept C2780586882 @default.
• W3207413620 hasConcept C33203268 @default.
• W3207413620 hasConcept C33923547 @default.
• W3207413620 hasConcept C41008148 @default.
• W3207413620 hasConcept C62520636 @default.
• W3207413620 hasConcept C71139939 @default.
• W3207413620 hasConcept C71924100 @default.
• W3207413620 hasConcept C80444323 @default.
• W3207413620 hasConceptScore W3207413620C102993220 @default.
• W3207413620 hasConceptScore W3207413620C110039528 @default.
• W3207413620 hasConceptScore W3207413620C111472728 @default.
• W3207413620 hasConceptScore W3207413620C114092440 @default.
• W3207413620 hasConceptScore W3207413620C118615104 @default.
• W3207413620 hasConceptScore W3207413620C121332964 @default.
• W3207413620 hasConceptScore W3207413620C136119220 @default.
• W3207413620 hasConceptScore W3207413620C138885662 @default.
• W3207413620 hasConceptScore W3207413620C14523651 @default.
• W3207413620 hasConceptScore W3207413620C154945302 @default.
• W3207413620 hasConceptScore W3207413620C165801399 @default.
• W3207413620 hasConceptScore W3207413620C172385210 @default.
• W3207413620 hasConceptScore W3207413620C185592680 @default.
• W3207413620 hasConceptScore W3207413620C188027245 @default.
• W3207413620 hasConceptScore W3207413620C191222856 @default.
• W3207413620 hasConceptScore W3207413620C195818886 @default.
• W3207413620 hasConceptScore W3207413620C199343813 @default.
• W3207413620 hasConceptScore W3207413620C202444582 @default.
• W3207413620 hasConceptScore W3207413620C203659156 @default.
• W3207413620 hasConceptScore W3207413620C27508121 @default.
• W3207413620 hasConceptScore W3207413620C2777212361 @default.
• W3207413620 hasConceptScore W3207413620C2777686260 @default.
• W3207413620 hasConceptScore W3207413620C2777796570 @default.
• W3207413620 hasConceptScore W3207413620C2780586882 @default.
• W3207413620 hasConceptScore W3207413620C33203268 @default.
• W3207413620 hasConceptScore W3207413620C33923547 @default.
• W3207413620 hasConceptScore W3207413620C41008148 @default.
• W3207413620 hasConceptScore W3207413620C62520636 @default.

• next