FRINK Linked Data Fragments server

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

• W2135389919 endingPage "210" @default.
• W2135389919 startingPage "203" @default.
• W2135389919 abstract "In 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there is a translation of the intuitionistic logic into the modal S4 logic. This translation was suggested by Godel in order to find an interpretation of the intuitionistic logic via provability operator.A. Grzegorczyk found a modal formula G valid in all partially ordered frames with descending chain condition but not in all topological spaces. It follows that this formula is not valid in S4 but one can translate the intuitionistic logic into the calculus arising from S4 by adding Grzegorczyk's formula as a new axiom schema. The resulting logic was called the Grzegorczyk logic in later papers and books on modal logic.There are a lot of investigations devoted to the Grzegorczyk logic. In this paper we give a short overview of results on the Grzegorczyk logic and its extensions." @default.
• W2135389919 created "2016-06-24" @default.
• W2135389919 creator A5005246162 @default.
• W2135389919 date "2007-01-01" @default.
• W2135389919 modified "2023-09-28" @default.
• W2135389919 title "On Modal Grzegorczyk Logic" @default.
• W2135389919 cites W111509894 @default.
• W2135389919 cites W1480405493 @default.
• W2135389919 cites W1517643705 @default.
• W2135389919 cites W1527588453 @default.
• W2135389919 cites W1556894108 @default.
• W2135389919 cites W1579494268 @default.
• W2135389919 cites W1605921926 @default.
• W2135389919 cites W1924063407 @default.
• W2135389919 cites W1968647304 @default.
• W2135389919 cites W2015220564 @default.
• W2135389919 cites W2029362320 @default.
• W2135389919 cites W2035120169 @default.
• W2135389919 cites W2038674318 @default.
• W2135389919 cites W2063770561 @default.
• W2135389919 cites W2084684966 @default.
• W2135389919 cites W2090553806 @default.
• W2135389919 cites W2114633883 @default.
• W2135389919 cites W2148157601 @default.
• W2135389919 cites W2249439733 @default.
• W2135389919 cites W2320156170 @default.
• W2135389919 cites W2328909380 @default.
• W2135389919 cites W2743117888 @default.
• W2135389919 cites W2916610995 @default.
• W2135389919 hasPublicationYear "2007" @default.
• W2135389919 type Work @default.
• W2135389919 sameAs 2135389919 @default.
• W2135389919 citedByCount "4" @default.
• W2135389919 countsByYear W21353899192012 @default.
• W2135389919 crossrefType "journal-article" @default.
• W2135389919 hasAuthorship W2135389919A5005246162 @default.
• W2135389919 hasConcept C102993220 @default.
• W2135389919 hasConcept C11191006 @default.
• W2135389919 hasConcept C114092440 @default.
• W2135389919 hasConcept C118615104 @default.
• W2135389919 hasConcept C121332964 @default.
• W2135389919 hasConcept C136119220 @default.
• W2135389919 hasConcept C144760519 @default.
• W2135389919 hasConcept C150889026 @default.
• W2135389919 hasConcept C165801399 @default.
• W2135389919 hasConcept C169896238 @default.
• W2135389919 hasConcept C172385210 @default.
• W2135389919 hasConcept C178421362 @default.
• W2135389919 hasConcept C185592680 @default.
• W2135389919 hasConcept C188027245 @default.
• W2135389919 hasConcept C192609573 @default.
• W2135389919 hasConcept C199343813 @default.
• W2135389919 hasConcept C199360897 @default.
• W2135389919 hasConcept C202444582 @default.
• W2135389919 hasConcept C203659156 @default.
• W2135389919 hasConcept C27508121 @default.
• W2135389919 hasConcept C2777686260 @default.
• W2135389919 hasConcept C2777796570 @default.
• W2135389919 hasConcept C28077239 @default.
• W2135389919 hasConcept C33203268 @default.
• W2135389919 hasConcept C33923547 @default.
• W2135389919 hasConcept C41008148 @default.
• W2135389919 hasConcept C62520636 @default.
• W2135389919 hasConcept C71139939 @default.
• W2135389919 hasConcept C71924100 @default.
• W2135389919 hasConceptScore W2135389919C102993220 @default.
• W2135389919 hasConceptScore W2135389919C11191006 @default.
• W2135389919 hasConceptScore W2135389919C114092440 @default.
• W2135389919 hasConceptScore W2135389919C118615104 @default.
• W2135389919 hasConceptScore W2135389919C121332964 @default.
• W2135389919 hasConceptScore W2135389919C136119220 @default.
• W2135389919 hasConceptScore W2135389919C144760519 @default.
• W2135389919 hasConceptScore W2135389919C150889026 @default.
• W2135389919 hasConceptScore W2135389919C165801399 @default.
• W2135389919 hasConceptScore W2135389919C169896238 @default.
• W2135389919 hasConceptScore W2135389919C172385210 @default.
• W2135389919 hasConceptScore W2135389919C178421362 @default.
• W2135389919 hasConceptScore W2135389919C185592680 @default.
• W2135389919 hasConceptScore W2135389919C188027245 @default.
• W2135389919 hasConceptScore W2135389919C192609573 @default.
• W2135389919 hasConceptScore W2135389919C199343813 @default.
• W2135389919 hasConceptScore W2135389919C199360897 @default.
• W2135389919 hasConceptScore W2135389919C202444582 @default.
• W2135389919 hasConceptScore W2135389919C203659156 @default.
• W2135389919 hasConceptScore W2135389919C27508121 @default.
• W2135389919 hasConceptScore W2135389919C2777686260 @default.
• W2135389919 hasConceptScore W2135389919C2777796570 @default.
• W2135389919 hasConceptScore W2135389919C28077239 @default.
• W2135389919 hasConceptScore W2135389919C33203268 @default.
• W2135389919 hasConceptScore W2135389919C33923547 @default.
• W2135389919 hasConceptScore W2135389919C41008148 @default.
• W2135389919 hasConceptScore W2135389919C62520636 @default.
• W2135389919 hasConceptScore W2135389919C71139939 @default.
• W2135389919 hasConceptScore W2135389919C71924100 @default.
• W2135389919 hasIssue "1" @default.
• W2135389919 hasOpenAccess W2135389919 @default.
• W2135389919 hasRelatedWork W127701250 @default.
• W2135389919 hasRelatedWork W1423953440 @default.

• next