FRINK Linked Data Fragments server

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

• W133336308 abstract "The well-known Godel translation embeds intuitionistic propositional logic into the modal logic S4. In this note, we use essentially the same translation to embed Godel infinite- valued propositional logic into a schematic extension of Prior's bi- modal tense logic that allows finite chains only as flows of time. While our proofs use elementary techniques in many-valued algebraic logic, our embedding is strongly related to well-known results from the theory of modal companions to superintu- itionistic logics. For the reader's convenience we include a short dis- cussion of the latter results." @default.
• W133336308 created "2016-06-24" @default.
• W133336308 creator A5008489057 @default.
• W133336308 creator A5011161376 @default.
• W133336308 creator A5039757989 @default.
• W133336308 date "2008-01-01" @default.
• W133336308 modified "2023-09-27" @default.
• W133336308 title "Embedding Godel propositional logic into Prior's tense logic" @default.
• W133336308 cites W1497783876 @default.
• W133336308 cites W2004532354 @default.
• W133336308 cites W2026315522 @default.
• W133336308 cites W2060794945 @default.
• W133336308 cites W2082093772 @default.
• W133336308 cites W2096482476 @default.
• W133336308 cites W2110182592 @default.
• W133336308 cites W2160449623 @default.
• W133336308 cites W2319388297 @default.
• W133336308 cites W2970205057 @default.
• W133336308 cites W3202227343 @default.
• W133336308 hasPublicationYear "2008" @default.
• W133336308 type Work @default.
• W133336308 sameAs 133336308 @default.
• W133336308 citedByCount "2" @default.
• W133336308 countsByYear W1333363082014 @default.
• W133336308 countsByYear W1333363082021 @default.
• W133336308 crossrefType "journal-article" @default.
• W133336308 hasAuthorship W133336308A5008489057 @default.
• W133336308 hasAuthorship W133336308A5011161376 @default.
• W133336308 hasAuthorship W133336308A5039757989 @default.
• W133336308 hasConcept C102993220 @default.
• W133336308 hasConcept C110039528 @default.
• W133336308 hasConcept C114092440 @default.
• W133336308 hasConcept C118615104 @default.
• W133336308 hasConcept C121332964 @default.
• W133336308 hasConcept C14523651 @default.
• W133336308 hasConcept C150889026 @default.
• W133336308 hasConcept C154945302 @default.
• W133336308 hasConcept C165801399 @default.
• W133336308 hasConcept C172385210 @default.
• W133336308 hasConcept C173125200 @default.
• W133336308 hasConcept C178421362 @default.
• W133336308 hasConcept C185592680 @default.
• W133336308 hasConcept C188027245 @default.
• W133336308 hasConcept C191222856 @default.
• W133336308 hasConcept C192609573 @default.
• W133336308 hasConcept C199343813 @default.
• W133336308 hasConcept C203659156 @default.
• W133336308 hasConcept C27508121 @default.
• W133336308 hasConcept C2777686260 @default.
• W133336308 hasConcept C2777796570 @default.
• W133336308 hasConcept C2781302003 @default.
• W133336308 hasConcept C32241873 @default.
• W133336308 hasConcept C33203268 @default.
• W133336308 hasConcept C33923547 @default.
• W133336308 hasConcept C3845977 @default.
• W133336308 hasConcept C41008148 @default.
• W133336308 hasConcept C41608201 @default.
• W133336308 hasConcept C62520636 @default.
• W133336308 hasConcept C69562738 @default.
• W133336308 hasConcept C71139939 @default.
• W133336308 hasConcept C71924100 @default.
• W133336308 hasConceptScore W133336308C102993220 @default.
• W133336308 hasConceptScore W133336308C110039528 @default.
• W133336308 hasConceptScore W133336308C114092440 @default.
• W133336308 hasConceptScore W133336308C118615104 @default.
• W133336308 hasConceptScore W133336308C121332964 @default.
• W133336308 hasConceptScore W133336308C14523651 @default.
• W133336308 hasConceptScore W133336308C150889026 @default.
• W133336308 hasConceptScore W133336308C154945302 @default.
• W133336308 hasConceptScore W133336308C165801399 @default.
• W133336308 hasConceptScore W133336308C172385210 @default.
• W133336308 hasConceptScore W133336308C173125200 @default.
• W133336308 hasConceptScore W133336308C178421362 @default.
• W133336308 hasConceptScore W133336308C185592680 @default.
• W133336308 hasConceptScore W133336308C188027245 @default.
• W133336308 hasConceptScore W133336308C191222856 @default.
• W133336308 hasConceptScore W133336308C192609573 @default.
• W133336308 hasConceptScore W133336308C199343813 @default.
• W133336308 hasConceptScore W133336308C203659156 @default.
• W133336308 hasConceptScore W133336308C27508121 @default.
• W133336308 hasConceptScore W133336308C2777686260 @default.
• W133336308 hasConceptScore W133336308C2777796570 @default.
• W133336308 hasConceptScore W133336308C2781302003 @default.
• W133336308 hasConceptScore W133336308C32241873 @default.
• W133336308 hasConceptScore W133336308C33203268 @default.
• W133336308 hasConceptScore W133336308C33923547 @default.
• W133336308 hasConceptScore W133336308C3845977 @default.
• W133336308 hasConceptScore W133336308C41008148 @default.
• W133336308 hasConceptScore W133336308C41608201 @default.
• W133336308 hasConceptScore W133336308C62520636 @default.
• W133336308 hasConceptScore W133336308C69562738 @default.
• W133336308 hasConceptScore W133336308C71139939 @default.
• W133336308 hasConceptScore W133336308C71924100 @default.
• W133336308 hasLocation W1333363081 @default.
• W133336308 hasOpenAccess W133336308 @default.
• W133336308 hasPrimaryLocation W1333363081 @default.
• W133336308 hasRelatedWork W147278437 @default.
• W133336308 hasRelatedWork W1497109150 @default.
• W133336308 hasRelatedWork W1519702305 @default.
• W133336308 hasRelatedWork W1547063019 @default.

• next