Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123687266> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2123687266 endingPage "713" @default.
- W2123687266 startingPage "697" @default.
- W2123687266 abstract "The superintuitionistic predicate logics (without or with equality) of all predicate Kripke frames with nested domains over a fixed poset W (a set of possible worlds) are embeddable in the logic (without equality) of all Kripke frames with constant domains over W. Therefore, Takano's result [13] on finite axiomatizability of the logic of Kripke frames with constant domains over the set of real numbers implies the recursive axiomatizability of the corresponding logics with nested domains. Other consequences are mentioned as well." @default.
- W2123687266 created "2016-06-24" @default.
- W2123687266 creator A5056626705 @default.
- W2123687266 date "2009-09-11" @default.
- W2123687266 modified "2023-10-18" @default.
- W2123687266 title "A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains" @default.
- W2123687266 cites W1963657007 @default.
- W2123687266 cites W1977030765 @default.
- W2123687266 cites W1978639634 @default.
- W2123687266 cites W2017127608 @default.
- W2123687266 cites W2083897845 @default.
- W2123687266 doi "https://doi.org/10.1093/logcom/exp046" @default.
- W2123687266 hasPublicationYear "2009" @default.
- W2123687266 type Work @default.
- W2123687266 sameAs 2123687266 @default.
- W2123687266 citedByCount "1" @default.
- W2123687266 countsByYear W21236872662021 @default.
- W2123687266 crossrefType "journal-article" @default.
- W2123687266 hasAuthorship W2123687266A5056626705 @default.
- W2123687266 hasConcept C102993220 @default.
- W2123687266 hasConcept C110251889 @default.
- W2123687266 hasConcept C11413529 @default.
- W2123687266 hasConcept C118615104 @default.
- W2123687266 hasConcept C140146324 @default.
- W2123687266 hasConcept C160131679 @default.
- W2123687266 hasConcept C161913894 @default.
- W2123687266 hasConcept C185592680 @default.
- W2123687266 hasConcept C188027245 @default.
- W2123687266 hasConcept C19689857 @default.
- W2123687266 hasConcept C199360897 @default.
- W2123687266 hasConcept C27508121 @default.
- W2123687266 hasConcept C33203268 @default.
- W2123687266 hasConcept C33923547 @default.
- W2123687266 hasConcept C41008148 @default.
- W2123687266 hasConcept C71139939 @default.
- W2123687266 hasConcept C80444323 @default.
- W2123687266 hasConceptScore W2123687266C102993220 @default.
- W2123687266 hasConceptScore W2123687266C110251889 @default.
- W2123687266 hasConceptScore W2123687266C11413529 @default.
- W2123687266 hasConceptScore W2123687266C118615104 @default.
- W2123687266 hasConceptScore W2123687266C140146324 @default.
- W2123687266 hasConceptScore W2123687266C160131679 @default.
- W2123687266 hasConceptScore W2123687266C161913894 @default.
- W2123687266 hasConceptScore W2123687266C185592680 @default.
- W2123687266 hasConceptScore W2123687266C188027245 @default.
- W2123687266 hasConceptScore W2123687266C19689857 @default.
- W2123687266 hasConceptScore W2123687266C199360897 @default.
- W2123687266 hasConceptScore W2123687266C27508121 @default.
- W2123687266 hasConceptScore W2123687266C33203268 @default.
- W2123687266 hasConceptScore W2123687266C33923547 @default.
- W2123687266 hasConceptScore W2123687266C41008148 @default.
- W2123687266 hasConceptScore W2123687266C71139939 @default.
- W2123687266 hasConceptScore W2123687266C80444323 @default.
- W2123687266 hasIssue "4" @default.
- W2123687266 hasLocation W21236872661 @default.
- W2123687266 hasOpenAccess W2123687266 @default.
- W2123687266 hasPrimaryLocation W21236872661 @default.
- W2123687266 hasRelatedWork W2017127608 @default.
- W2123687266 hasRelatedWork W2048781834 @default.
- W2123687266 hasRelatedWork W2058351460 @default.
- W2123687266 hasRelatedWork W2083897845 @default.
- W2123687266 hasRelatedWork W2134802295 @default.
- W2123687266 hasRelatedWork W2913802826 @default.
- W2123687266 hasRelatedWork W2930373464 @default.
- W2123687266 hasRelatedWork W2963628981 @default.
- W2123687266 hasRelatedWork W2990466353 @default.
- W2123687266 hasRelatedWork W2032663284 @default.
- W2123687266 hasVolume "21" @default.
- W2123687266 isParatext "false" @default.
- W2123687266 isRetracted "false" @default.
- W2123687266 magId "2123687266" @default.
- W2123687266 workType "article" @default.