FRINK Linked Data Fragments server

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

• W2890631386 endingPage "235" @default.
• W2890631386 startingPage "219" @default.
• W2890631386 abstract "Author(s): Ding, Yifeng | Abstract: Scroggs's theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs's theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for ordinary quantifiers. We call them Π-logics. Taking S5Π, the smallest normal Π-logic extending S5, as the natural counterpart to S5 in Scroggs's theorem, we show that all normal Π-logics extending S5Π are complete with respect to their complete simple S5 algebras, that they form a lattice that is isomorphic to the lattice of the open sets of the disjoint union of two copies of the one-point compactification of N, that they have arbitrarily high Turing-degrees, and that there are non-normal Π-logics extending S5Π." @default.
• W2890631386 created "2018-09-27" @default.
• W2890631386 creator A5088242137 @default.
• W2890631386 date "2018-08-27" @default.
• W2890631386 modified "2023-09-24" @default.
• W2890631386 title "On the Logics with Propositional Quantifiers Extending S5Π" @default.
• W2890631386 cites W1553699704 @default.
• W2890631386 cites W1603162778 @default.
• W2890631386 cites W1818048204 @default.
• W2890631386 cites W1969118410 @default.
• W2890631386 cites W2006418637 @default.
• W2890631386 cites W2065586815 @default.
• W2890631386 cites W2124207901 @default.
• W2890631386 cites W2799061192 @default.
• W2890631386 hasPublicationYear "2018" @default.
• W2890631386 type Work @default.
• W2890631386 sameAs 2890631386 @default.
• W2890631386 citedByCount "1" @default.
• W2890631386 countsByYear W28906313862021 @default.
• W2890631386 crossrefType "proceedings-article" @default.
• W2890631386 hasAuthorship W2890631386A5088242137 @default.
• W2890631386 hasConcept C102993220 @default.
• W2890631386 hasConcept C114092440 @default.
• W2890631386 hasConcept C11413529 @default.
• W2890631386 hasConcept C118615104 @default.
• W2890631386 hasConcept C136119220 @default.
• W2890631386 hasConcept C14523651 @default.
• W2890631386 hasConcept C154945302 @default.
• W2890631386 hasConcept C167729594 @default.
• W2890631386 hasConcept C179799912 @default.
• W2890631386 hasConcept C185592680 @default.
• W2890631386 hasConcept C188027245 @default.
• W2890631386 hasConcept C1883856 @default.
• W2890631386 hasConcept C197685441 @default.
• W2890631386 hasConcept C202444582 @default.
• W2890631386 hasConcept C2524010 @default.
• W2890631386 hasConcept C27508121 @default.
• W2890631386 hasConcept C33203268 @default.
• W2890631386 hasConcept C33923547 @default.
• W2890631386 hasConcept C41008148 @default.
• W2890631386 hasConcept C42011625 @default.
• W2890631386 hasConcept C5263885 @default.
• W2890631386 hasConcept C56049555 @default.
• W2890631386 hasConcept C58166 @default.
• W2890631386 hasConcept C69562738 @default.
• W2890631386 hasConcept C71139939 @default.
• W2890631386 hasConcept C80444323 @default.
• W2890631386 hasConcept C86602344 @default.
• W2890631386 hasConcept C98224912 @default.
• W2890631386 hasConceptScore W2890631386C102993220 @default.
• W2890631386 hasConceptScore W2890631386C114092440 @default.
• W2890631386 hasConceptScore W2890631386C11413529 @default.
• W2890631386 hasConceptScore W2890631386C118615104 @default.
• W2890631386 hasConceptScore W2890631386C136119220 @default.
• W2890631386 hasConceptScore W2890631386C14523651 @default.
• W2890631386 hasConceptScore W2890631386C154945302 @default.
• W2890631386 hasConceptScore W2890631386C167729594 @default.
• W2890631386 hasConceptScore W2890631386C179799912 @default.
• W2890631386 hasConceptScore W2890631386C185592680 @default.
• W2890631386 hasConceptScore W2890631386C188027245 @default.
• W2890631386 hasConceptScore W2890631386C1883856 @default.
• W2890631386 hasConceptScore W2890631386C197685441 @default.
• W2890631386 hasConceptScore W2890631386C202444582 @default.
• W2890631386 hasConceptScore W2890631386C2524010 @default.
• W2890631386 hasConceptScore W2890631386C27508121 @default.
• W2890631386 hasConceptScore W2890631386C33203268 @default.
• W2890631386 hasConceptScore W2890631386C33923547 @default.
• W2890631386 hasConceptScore W2890631386C41008148 @default.
• W2890631386 hasConceptScore W2890631386C42011625 @default.
• W2890631386 hasConceptScore W2890631386C5263885 @default.
• W2890631386 hasConceptScore W2890631386C56049555 @default.
• W2890631386 hasConceptScore W2890631386C58166 @default.
• W2890631386 hasConceptScore W2890631386C69562738 @default.
• W2890631386 hasConceptScore W2890631386C71139939 @default.
• W2890631386 hasConceptScore W2890631386C80444323 @default.
• W2890631386 hasConceptScore W2890631386C86602344 @default.
• W2890631386 hasConceptScore W2890631386C98224912 @default.
• W2890631386 hasLocation W28906313861 @default.
• W2890631386 hasOpenAccess W2890631386 @default.
• W2890631386 hasPrimaryLocation W28906313861 @default.
• W2890631386 hasRelatedWork W1511090187 @default.
• W2890631386 hasRelatedWork W1523027922 @default.
• W2890631386 hasRelatedWork W193857920 @default.
• W2890631386 hasRelatedWork W1983453585 @default.
• W2890631386 hasRelatedWork W1987969414 @default.
• W2890631386 hasRelatedWork W2033995892 @default.
• W2890631386 hasRelatedWork W2039830772 @default.
• W2890631386 hasRelatedWork W2040860191 @default.
• W2890631386 hasRelatedWork W2052331543 @default.
• W2890631386 hasRelatedWork W2127246914 @default.
• W2890631386 hasRelatedWork W2136147947 @default.
• W2890631386 hasRelatedWork W2144359719 @default.
• W2890631386 hasRelatedWork W2168995070 @default.
• W2890631386 hasRelatedWork W2291134763 @default.
• W2890631386 hasRelatedWork W2745840098 @default.
• W2890631386 hasRelatedWork W2810957784 @default.
• W2890631386 hasRelatedWork W2947401218 @default.
• W2890631386 hasRelatedWork W3047494158 @default.

• next