Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893109491> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2893109491 abstract "Abstract We add propositional quantifiers to the propositional modal logic S4 and to the propositional intuitionistic logic H, introducing axiom schemes that are the natural analogs to axiom schemes typically used for first-order quantifiers in classical and intuitionistic logic. We show that the resulting logics are sound and complete for a topological semantics extending, in a natural way, the topological semantics for S4 and for H." @default.
- W2893109491 created "2018-10-05" @default.
- W2893109491 creator A5042962543 @default.
- W2893109491 date "2018-09-01" @default.
- W2893109491 modified "2023-10-14" @default.
- W2893109491 title "COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS" @default.
- W2893109491 cites W1992670332 @default.
- W2893109491 cites W1994211257 @default.
- W2893109491 cites W2006418637 @default.
- W2893109491 cites W2021824907 @default.
- W2893109491 cites W2074944668 @default.
- W2893109491 cites W2122871622 @default.
- W2893109491 cites W2142696533 @default.
- W2893109491 cites W2163197731 @default.
- W2893109491 cites W2331073395 @default.
- W2893109491 doi "https://doi.org/10.1017/s1755020318000229" @default.
- W2893109491 hasPublicationYear "2018" @default.
- W2893109491 type Work @default.
- W2893109491 sameAs 2893109491 @default.
- W2893109491 citedByCount "2" @default.
- W2893109491 countsByYear W28931094912021 @default.
- W2893109491 crossrefType "journal-article" @default.
- W2893109491 hasAuthorship W2893109491A5042962543 @default.
- W2893109491 hasBestOaLocation W28931094912 @default.
- W2893109491 hasConcept C102993220 @default.
- W2893109491 hasConcept C110039528 @default.
- W2893109491 hasConcept C114092440 @default.
- W2893109491 hasConcept C118615104 @default.
- W2893109491 hasConcept C134306372 @default.
- W2893109491 hasConcept C14523651 @default.
- W2893109491 hasConcept C167729594 @default.
- W2893109491 hasConcept C17231256 @default.
- W2893109491 hasConcept C178421362 @default.
- W2893109491 hasConcept C184337299 @default.
- W2893109491 hasConcept C185592680 @default.
- W2893109491 hasConcept C188027245 @default.
- W2893109491 hasConcept C191222856 @default.
- W2893109491 hasConcept C192609573 @default.
- W2893109491 hasConcept C199360897 @default.
- W2893109491 hasConcept C203659156 @default.
- W2893109491 hasConcept C2524010 @default.
- W2893109491 hasConcept C27508121 @default.
- W2893109491 hasConcept C33203268 @default.
- W2893109491 hasConcept C33923547 @default.
- W2893109491 hasConcept C3845977 @default.
- W2893109491 hasConcept C41008148 @default.
- W2893109491 hasConcept C69562738 @default.
- W2893109491 hasConcept C71139939 @default.
- W2893109491 hasConcept C80444323 @default.
- W2893109491 hasConceptScore W2893109491C102993220 @default.
- W2893109491 hasConceptScore W2893109491C110039528 @default.
- W2893109491 hasConceptScore W2893109491C114092440 @default.
- W2893109491 hasConceptScore W2893109491C118615104 @default.
- W2893109491 hasConceptScore W2893109491C134306372 @default.
- W2893109491 hasConceptScore W2893109491C14523651 @default.
- W2893109491 hasConceptScore W2893109491C167729594 @default.
- W2893109491 hasConceptScore W2893109491C17231256 @default.
- W2893109491 hasConceptScore W2893109491C178421362 @default.
- W2893109491 hasConceptScore W2893109491C184337299 @default.
- W2893109491 hasConceptScore W2893109491C185592680 @default.
- W2893109491 hasConceptScore W2893109491C188027245 @default.
- W2893109491 hasConceptScore W2893109491C191222856 @default.
- W2893109491 hasConceptScore W2893109491C192609573 @default.
- W2893109491 hasConceptScore W2893109491C199360897 @default.
- W2893109491 hasConceptScore W2893109491C203659156 @default.
- W2893109491 hasConceptScore W2893109491C2524010 @default.
- W2893109491 hasConceptScore W2893109491C27508121 @default.
- W2893109491 hasConceptScore W2893109491C33203268 @default.
- W2893109491 hasConceptScore W2893109491C33923547 @default.
- W2893109491 hasConceptScore W2893109491C3845977 @default.
- W2893109491 hasConceptScore W2893109491C41008148 @default.
- W2893109491 hasConceptScore W2893109491C69562738 @default.
- W2893109491 hasConceptScore W2893109491C71139939 @default.
- W2893109491 hasConceptScore W2893109491C80444323 @default.
- W2893109491 hasLocation W28931094911 @default.
- W2893109491 hasLocation W28931094912 @default.
- W2893109491 hasOpenAccess W2893109491 @default.
- W2893109491 hasPrimaryLocation W28931094911 @default.
- W2893109491 hasRelatedWork W1560681040 @default.
- W2893109491 hasRelatedWork W2018364537 @default.
- W2893109491 hasRelatedWork W2028191118 @default.
- W2893109491 hasRelatedWork W2061361244 @default.
- W2893109491 hasRelatedWork W2146588861 @default.
- W2893109491 hasRelatedWork W2163197731 @default.
- W2893109491 hasRelatedWork W2893109491 @default.
- W2893109491 hasRelatedWork W2952365042 @default.
- W2893109491 hasRelatedWork W3143274268 @default.
- W2893109491 hasRelatedWork W3145584637 @default.
- W2893109491 isParatext "false" @default.
- W2893109491 isRetracted "false" @default.
- W2893109491 magId "2893109491" @default.
- W2893109491 workType "article" @default.