FRINK Linked Data Fragments server

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

• W2892910525 endingPage "469" @default.
• W2892910525 startingPage "436" @default.
• W2892910525 abstract "Abstract Stable logics are modal logics characterized by a class of frames closed under relation preserving images. These logics admit all filtrations. Since many basic modal systems such as K4 and S4 are not stable, we introduce the more general concept of an M-stable logic, where M is an arbitrary normal modal logic that admits some filtration. Of course, M can be chosen to be K4 or S4. We give several characterizations of M-stable logics. We prove that there are continuum many S4-stable logics and continuum many K4-stable logics between K4 and S4. We axiomatize K4-stable and S4-stable logics by means of stable formulas and discuss the connection between S4-stable logics and stable superintuitionistic logics. We conclude the article with many examples (and nonexamples) of stable, K4-stable, and S4-stable logics and provide their axiomatization in terms of stable rules and formulas." @default.
• W2892910525 created "2018-10-05" @default.
• W2892910525 creator A5018577666 @default.
• W2892910525 creator A5031772210 @default.
• W2892910525 creator A5045687469 @default.
• W2892910525 date "2018-09-01" @default.
• W2892910525 modified "2023-09-27" @default.
• W2892910525 title "STABLE MODAL LOGICS" @default.
• W2892910525 cites W1480232161 @default.
• W2892910525 cites W1541365419 @default.
• W2892910525 cites W1986094041 @default.
• W2892910525 cites W1987887112 @default.
• W2892910525 cites W1988370352 @default.
• W2892910525 cites W2002250082 @default.
• W2892910525 cites W2003364215 @default.
• W2892910525 cites W2006610124 @default.
• W2892910525 cites W2031058801 @default.
• W2892910525 cites W2042590814 @default.
• W2892910525 cites W2050527500 @default.
• W2892910525 cites W2080823411 @default.
• W2892910525 cites W2087748395 @default.
• W2892910525 cites W2095148612 @default.
• W2892910525 cites W2116402857 @default.
• W2892910525 cites W2135557157 @default.
• W2892910525 cites W2137410044 @default.
• W2892910525 cites W2143620943 @default.
• W2892910525 cites W2144359719 @default.
• W2892910525 cites W2184080646 @default.
• W2892910525 cites W2461576207 @default.
• W2892910525 cites W2529311106 @default.
• W2892910525 cites W2549454486 @default.
• W2892910525 cites W4211144022 @default.
• W2892910525 cites W4239202159 @default.
• W2892910525 cites W4244478014 @default.
• W2892910525 cites W4293176479 @default.
• W2892910525 doi "https://doi.org/10.1017/s1755020317000375" @default.
• W2892910525 hasPublicationYear "2018" @default.
• W2892910525 type Work @default.
• W2892910525 sameAs 2892910525 @default.
• W2892910525 citedByCount "5" @default.
• W2892910525 countsByYear W28929105252017 @default.
• W2892910525 countsByYear W28929105252018 @default.
• W2892910525 countsByYear W28929105252019 @default.
• W2892910525 countsByYear W28929105252022 @default.
• W2892910525 crossrefType "journal-article" @default.
• W2892910525 hasAuthorship W2892910525A5018577666 @default.
• W2892910525 hasAuthorship W2892910525A5031772210 @default.
• W2892910525 hasAuthorship W2892910525A5045687469 @default.
• W2892910525 hasBestOaLocation W28929105252 @default.
• W2892910525 hasConcept C11191006 @default.
• W2892910525 hasConcept C114092440 @default.
• W2892910525 hasConcept C118615104 @default.
• W2892910525 hasConcept C136119220 @default.
• W2892910525 hasConcept C154945302 @default.
• W2892910525 hasConcept C185592680 @default.
• W2892910525 hasConcept C188027245 @default.
• W2892910525 hasConcept C1883856 @default.
• W2892910525 hasConcept C192609573 @default.
• W2892910525 hasConcept C199343813 @default.
• W2892910525 hasConcept C202444582 @default.
• W2892910525 hasConcept C27508121 @default.
• W2892910525 hasConcept C2777212361 @default.
• W2892910525 hasConcept C2777686260 @default.
• W2892910525 hasConcept C33923547 @default.
• W2892910525 hasConcept C41008148 @default.
• W2892910525 hasConcept C42011625 @default.
• W2892910525 hasConcept C5263885 @default.
• W2892910525 hasConcept C58166 @default.
• W2892910525 hasConcept C71139939 @default.
• W2892910525 hasConcept C71924100 @default.
• W2892910525 hasConcept C86602344 @default.
• W2892910525 hasConcept C98224912 @default.
• W2892910525 hasConceptScore W2892910525C11191006 @default.
• W2892910525 hasConceptScore W2892910525C114092440 @default.
• W2892910525 hasConceptScore W2892910525C118615104 @default.
• W2892910525 hasConceptScore W2892910525C136119220 @default.
• W2892910525 hasConceptScore W2892910525C154945302 @default.
• W2892910525 hasConceptScore W2892910525C185592680 @default.
• W2892910525 hasConceptScore W2892910525C188027245 @default.
• W2892910525 hasConceptScore W2892910525C1883856 @default.
• W2892910525 hasConceptScore W2892910525C192609573 @default.
• W2892910525 hasConceptScore W2892910525C199343813 @default.
• W2892910525 hasConceptScore W2892910525C202444582 @default.
• W2892910525 hasConceptScore W2892910525C27508121 @default.
• W2892910525 hasConceptScore W2892910525C2777212361 @default.
• W2892910525 hasConceptScore W2892910525C2777686260 @default.
• W2892910525 hasConceptScore W2892910525C33923547 @default.
• W2892910525 hasConceptScore W2892910525C41008148 @default.
• W2892910525 hasConceptScore W2892910525C42011625 @default.
• W2892910525 hasConceptScore W2892910525C5263885 @default.
• W2892910525 hasConceptScore W2892910525C58166 @default.
• W2892910525 hasConceptScore W2892910525C71139939 @default.
• W2892910525 hasConceptScore W2892910525C71924100 @default.
• W2892910525 hasConceptScore W2892910525C86602344 @default.
• W2892910525 hasConceptScore W2892910525C98224912 @default.
• W2892910525 hasIssue "3" @default.
• W2892910525 hasLocation W28929105251 @default.
• W2892910525 hasLocation W28929105252 @default.

• next