Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061689655> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2061689655 endingPage "193" @default.
- W2061689655 startingPage "157" @default.
- W2061689655 abstract "We show that a 0–1 law holds for propositional modal logic, both for structure validity and frame validity. In the case of structure validity, the result follows easily from the well-known 0–1 law for first-order logic. However, our proof gives considerably more information. It leads to an elegant axiomatization for almost-sure structure validity and to sharper complexity bounds. Since frame validity can be reduced to a Π 1 1 formula, the 0–1 law for frame validity helps delineate when 0–1 laws exist for second-order logics." @default.
- W2061689655 created "2016-06-24" @default.
- W2061689655 creator A5080474978 @default.
- W2061689655 creator A5087025582 @default.
- W2061689655 date "1994-10-01" @default.
- W2061689655 modified "2023-09-27" @default.
- W2061689655 title "Zero-one laws for modal logic" @default.
- W2061689655 cites W1814710822 @default.
- W2061689655 cites W1990958546 @default.
- W2061689655 cites W1992670332 @default.
- W2061689655 cites W2003895694 @default.
- W2061689655 cites W2018883342 @default.
- W2061689655 cites W2053510959 @default.
- W2061689655 cites W2065251436 @default.
- W2061689655 cites W2069709605 @default.
- W2061689655 cites W2072181151 @default.
- W2061689655 cites W2073491323 @default.
- W2061689655 cites W2076048718 @default.
- W2061689655 cites W2076073997 @default.
- W2061689655 cites W2088956149 @default.
- W2061689655 cites W2170743240 @default.
- W2061689655 cites W4235934183 @default.
- W2061689655 doi "https://doi.org/10.1016/0168-0072(94)90084-1" @default.
- W2061689655 hasPublicationYear "1994" @default.
- W2061689655 type Work @default.
- W2061689655 sameAs 2061689655 @default.
- W2061689655 citedByCount "17" @default.
- W2061689655 countsByYear W20616896552013 @default.
- W2061689655 countsByYear W20616896552014 @default.
- W2061689655 countsByYear W20616896552021 @default.
- W2061689655 crossrefType "journal-article" @default.
- W2061689655 hasAuthorship W2061689655A5080474978 @default.
- W2061689655 hasAuthorship W2061689655A5087025582 @default.
- W2061689655 hasBestOaLocation W20616896551 @default.
- W2061689655 hasConcept C114092440 @default.
- W2061689655 hasConcept C138885662 @default.
- W2061689655 hasConcept C185592680 @default.
- W2061689655 hasConcept C188027245 @default.
- W2061689655 hasConcept C199343813 @default.
- W2061689655 hasConcept C27508121 @default.
- W2061689655 hasConcept C2777686260 @default.
- W2061689655 hasConcept C2780813799 @default.
- W2061689655 hasConcept C33923547 @default.
- W2061689655 hasConcept C41895202 @default.
- W2061689655 hasConcept C71139939 @default.
- W2061689655 hasConcept C71924100 @default.
- W2061689655 hasConceptScore W2061689655C114092440 @default.
- W2061689655 hasConceptScore W2061689655C138885662 @default.
- W2061689655 hasConceptScore W2061689655C185592680 @default.
- W2061689655 hasConceptScore W2061689655C188027245 @default.
- W2061689655 hasConceptScore W2061689655C199343813 @default.
- W2061689655 hasConceptScore W2061689655C27508121 @default.
- W2061689655 hasConceptScore W2061689655C2777686260 @default.
- W2061689655 hasConceptScore W2061689655C2780813799 @default.
- W2061689655 hasConceptScore W2061689655C33923547 @default.
- W2061689655 hasConceptScore W2061689655C41895202 @default.
- W2061689655 hasConceptScore W2061689655C71139939 @default.
- W2061689655 hasConceptScore W2061689655C71924100 @default.
- W2061689655 hasIssue "2-3" @default.
- W2061689655 hasLocation W20616896551 @default.
- W2061689655 hasOpenAccess W2061689655 @default.
- W2061689655 hasPrimaryLocation W20616896551 @default.
- W2061689655 hasRelatedWork W2067687795 @default.
- W2061689655 hasRelatedWork W2077500377 @default.
- W2061689655 hasRelatedWork W2263480042 @default.
- W2061689655 hasRelatedWork W2540322980 @default.
- W2061689655 hasRelatedWork W3205223140 @default.
- W2061689655 hasRelatedWork W4226055581 @default.
- W2061689655 hasRelatedWork W4294810627 @default.
- W2061689655 hasRelatedWork W87163171 @default.
- W2061689655 hasRelatedWork W4286903732 @default.
- W2061689655 hasRelatedWork W46061460 @default.
- W2061689655 hasVolume "69" @default.
- W2061689655 isParatext "false" @default.
- W2061689655 isRetracted "false" @default.
- W2061689655 magId "2061689655" @default.
- W2061689655 workType "article" @default.