FRINK Linked Data Fragments server

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

• W2951722765 abstract "The one-variable fragment of the first-order logic of linear intuitionistic Kripke models, referred to here as Corsi logic, is shown to have as its modal counterpart the many-valued modal logic (mathsf {S5(mathbf {G})}). It is also shown that (mathsf {S5(mathbf {G})}) can be interpreted in the crisp many-valued modal logic (mathsf {S5(mathbf {G})^C}), the modal counterpart of the one-variable fragment of first-order Godel logic. Finally, an algebraic finite model property is proved for (mathsf {S5(mathbf {G})^C}) and used to establish co-NP-completeness for validity in the aforementioned modal logics and one-variable fragments." @default.
• W2951722765 created "2019-06-27" @default.
• W2951722765 creator A5038446877 @default.
• W2951722765 creator A5054305320 @default.
• W2951722765 creator A5076554907 @default.
• W2951722765 creator A5079110572 @default.
• W2951722765 date "2019-01-01" @default.
• W2951722765 modified "2023-10-16" @default.
• W2951722765 title "The One-Variable Fragment of Corsi Logic" @default.
• W2951722765 cites W1586446371 @default.
• W2951722765 cites W1699512023 @default.
• W2951722765 cites W1963657007 @default.
• W2951722765 cites W1970249071 @default.
• W2951722765 cites W1977030765 @default.
• W2951722765 cites W1978639634 @default.
• W2951722765 cites W2000571555 @default.
• W2951722765 cites W2031349440 @default.
• W2951722765 cites W2160449623 @default.
• W2951722765 cites W2169921622 @default.
• W2951722765 cites W2171090910 @default.
• W2951722765 cites W2489321047 @default.
• W2951722765 cites W2604254479 @default.
• W2951722765 cites W2032663284 @default.
• W2951722765 doi "https://doi.org/10.1007/978-3-662-59533-6_5" @default.
• W2951722765 hasPublicationYear "2019" @default.
• W2951722765 type Work @default.
• W2951722765 sameAs 2951722765 @default.
• W2951722765 citedByCount "1" @default.
• W2951722765 countsByYear W29517227652022 @default.
• W2951722765 crossrefType "book-chapter" @default.
• W2951722765 hasAuthorship W2951722765A5038446877 @default.
• W2951722765 hasAuthorship W2951722765A5054305320 @default.
• W2951722765 hasAuthorship W2951722765A5076554907 @default.
• W2951722765 hasAuthorship W2951722765A5079110572 @default.
• W2951722765 hasConcept C102993220 @default.
• W2951722765 hasConcept C11191006 @default.
• W2951722765 hasConcept C114092440 @default.
• W2951722765 hasConcept C11413529 @default.
• W2951722765 hasConcept C118615104 @default.
• W2951722765 hasConcept C121332964 @default.
• W2951722765 hasConcept C134306372 @default.
• W2951722765 hasConcept C165801399 @default.
• W2951722765 hasConcept C172385210 @default.
• W2951722765 hasConcept C178421362 @default.
• W2951722765 hasConcept C182365436 @default.
• W2951722765 hasConcept C185592680 @default.
• W2951722765 hasConcept C188027245 @default.
• W2951722765 hasConcept C192609573 @default.
• W2951722765 hasConcept C203659156 @default.
• W2951722765 hasConcept C27508121 @default.
• W2951722765 hasConcept C2776235265 @default.
• W2951722765 hasConcept C2777796570 @default.
• W2951722765 hasConcept C33203268 @default.
• W2951722765 hasConcept C33923547 @default.
• W2951722765 hasConcept C41008148 @default.
• W2951722765 hasConcept C62520636 @default.
• W2951722765 hasConcept C69562738 @default.
• W2951722765 hasConcept C71139939 @default.
• W2951722765 hasConcept C80444323 @default.
• W2951722765 hasConceptScore W2951722765C102993220 @default.
• W2951722765 hasConceptScore W2951722765C11191006 @default.
• W2951722765 hasConceptScore W2951722765C114092440 @default.
• W2951722765 hasConceptScore W2951722765C11413529 @default.
• W2951722765 hasConceptScore W2951722765C118615104 @default.
• W2951722765 hasConceptScore W2951722765C121332964 @default.
• W2951722765 hasConceptScore W2951722765C134306372 @default.
• W2951722765 hasConceptScore W2951722765C165801399 @default.
• W2951722765 hasConceptScore W2951722765C172385210 @default.
• W2951722765 hasConceptScore W2951722765C178421362 @default.
• W2951722765 hasConceptScore W2951722765C182365436 @default.
• W2951722765 hasConceptScore W2951722765C185592680 @default.
• W2951722765 hasConceptScore W2951722765C188027245 @default.
• W2951722765 hasConceptScore W2951722765C192609573 @default.
• W2951722765 hasConceptScore W2951722765C203659156 @default.
• W2951722765 hasConceptScore W2951722765C27508121 @default.
• W2951722765 hasConceptScore W2951722765C2776235265 @default.
• W2951722765 hasConceptScore W2951722765C2777796570 @default.
• W2951722765 hasConceptScore W2951722765C33203268 @default.
• W2951722765 hasConceptScore W2951722765C33923547 @default.
• W2951722765 hasConceptScore W2951722765C41008148 @default.
• W2951722765 hasConceptScore W2951722765C62520636 @default.
• W2951722765 hasConceptScore W2951722765C69562738 @default.
• W2951722765 hasConceptScore W2951722765C71139939 @default.
• W2951722765 hasConceptScore W2951722765C80444323 @default.
• W2951722765 hasLocation W29517227651 @default.
• W2951722765 hasOpenAccess W2951722765 @default.
• W2951722765 hasPrimaryLocation W29517227651 @default.
• W2951722765 hasRelatedWork W1859786385 @default.
• W2951722765 hasRelatedWork W1978386240 @default.
• W2951722765 hasRelatedWork W1996093895 @default.
• W2951722765 hasRelatedWork W2004665970 @default.
• W2951722765 hasRelatedWork W2039904055 @default.
• W2951722765 hasRelatedWork W2087078176 @default.
• W2951722765 hasRelatedWork W2101793126 @default.
• W2951722765 hasRelatedWork W2951722765 @default.
• W2951722765 hasRelatedWork W2963628981 @default.
• W2951722765 hasRelatedWork W3100785333 @default.
• W2951722765 isParatext "false" @default.
• W2951722765 isRetracted "false" @default.
• W2951722765 magId "2951722765" @default.

• next