Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023302852> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2023302852 endingPage "152" @default.
- W2023302852 startingPage "133" @default.
- W2023302852 abstract "Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4." @default.
- W2023302852 created "2016-06-24" @default.
- W2023302852 creator A5037638170 @default.
- W2023302852 creator A5053842643 @default.
- W2023302852 date "2012-12-16" @default.
- W2023302852 modified "2023-09-23" @default.
- W2023302852 title "The Power of a Propositional Constant" @default.
- W2023302852 cites W1006840962 @default.
- W2023302852 cites W1964845238 @default.
- W2023302852 cites W1968194621 @default.
- W2023302852 cites W1969285530 @default.
- W2023302852 cites W1969992192 @default.
- W2023302852 cites W1970294481 @default.
- W2023302852 cites W1986094041 @default.
- W2023302852 cites W1988370352 @default.
- W2023302852 cites W2008144954 @default.
- W2023302852 cites W2014204901 @default.
- W2023302852 cites W2017542140 @default.
- W2023302852 cites W2039870841 @default.
- W2023302852 cites W2062677486 @default.
- W2023302852 cites W2077631596 @default.
- W2023302852 cites W2078421228 @default.
- W2023302852 cites W2090086476 @default.
- W2023302852 cites W2152399709 @default.
- W2023302852 cites W2315064349 @default.
- W2023302852 cites W2319549361 @default.
- W2023302852 doi "https://doi.org/10.1007/s10992-012-9256-0" @default.
- W2023302852 hasPublicationYear "2012" @default.
- W2023302852 type Work @default.
- W2023302852 sameAs 2023302852 @default.
- W2023302852 citedByCount "6" @default.
- W2023302852 countsByYear W20233028522015 @default.
- W2023302852 countsByYear W20233028522016 @default.
- W2023302852 countsByYear W20233028522019 @default.
- W2023302852 countsByYear W20233028522021 @default.
- W2023302852 countsByYear W20233028522022 @default.
- W2023302852 crossrefType "journal-article" @default.
- W2023302852 hasAuthorship W2023302852A5037638170 @default.
- W2023302852 hasAuthorship W2023302852A5053842643 @default.
- W2023302852 hasBestOaLocation W20233028522 @default.
- W2023302852 hasConcept C102993220 @default.
- W2023302852 hasConcept C118615104 @default.
- W2023302852 hasConcept C14523651 @default.
- W2023302852 hasConcept C191222856 @default.
- W2023302852 hasConcept C199360897 @default.
- W2023302852 hasConcept C2777027219 @default.
- W2023302852 hasConcept C33203268 @default.
- W2023302852 hasConcept C33923547 @default.
- W2023302852 hasConcept C41008148 @default.
- W2023302852 hasConcept C69562738 @default.
- W2023302852 hasConceptScore W2023302852C102993220 @default.
- W2023302852 hasConceptScore W2023302852C118615104 @default.
- W2023302852 hasConceptScore W2023302852C14523651 @default.
- W2023302852 hasConceptScore W2023302852C191222856 @default.
- W2023302852 hasConceptScore W2023302852C199360897 @default.
- W2023302852 hasConceptScore W2023302852C2777027219 @default.
- W2023302852 hasConceptScore W2023302852C33203268 @default.
- W2023302852 hasConceptScore W2023302852C33923547 @default.
- W2023302852 hasConceptScore W2023302852C41008148 @default.
- W2023302852 hasConceptScore W2023302852C69562738 @default.
- W2023302852 hasIssue "1" @default.
- W2023302852 hasLocation W20233028521 @default.
- W2023302852 hasLocation W20233028522 @default.
- W2023302852 hasOpenAccess W2023302852 @default.
- W2023302852 hasPrimaryLocation W20233028521 @default.
- W2023302852 hasRelatedWork W1975118984 @default.
- W2023302852 hasRelatedWork W1987118140 @default.
- W2023302852 hasRelatedWork W2003922364 @default.
- W2023302852 hasRelatedWork W2315020428 @default.
- W2023302852 hasRelatedWork W2364305935 @default.
- W2023302852 hasRelatedWork W2945126541 @default.
- W2023302852 hasRelatedWork W54977314 @default.
- W2023302852 hasRelatedWork W2472593905 @default.
- W2023302852 hasRelatedWork W2473585100 @default.
- W2023302852 hasRelatedWork W2990043628 @default.
- W2023302852 hasVolume "43" @default.
- W2023302852 isParatext "false" @default.
- W2023302852 isRetracted "false" @default.
- W2023302852 magId "2023302852" @default.
- W2023302852 workType "article" @default.