Matches in SemOpenAlex for { <https://semopenalex.org/work/W1625156626> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1625156626 abstract "In this paper we consider an approach where both propositions and the accessibility relation are infinitely many-valued over G{o}del algebras. In particular, we consider separately the $Box $-fragment and the $Diamond $-fragment of our G{o}del modal logic and prove that both logics are complete with respect to the class of models with values in the linear Hetying algebra [0,1]. In addition, we show that the first fragment is uniquely determined by the class of models having crisp accessibility relation but it has not the finite model property. On the contrary, the second fragment is not characterized by crisp accessibility models alone but it has the finite model property. Finally, we show that the approach can be extended to include finitely many rational truth-values `{a} la Pavelka." @default.
- W1625156626 created "2016-06-24" @default.
- W1625156626 creator A5054305320 @default.
- W1625156626 creator A5079110572 @default.
- W1625156626 date "2009-03-16" @default.
- W1625156626 modified "2023-09-27" @default.
- W1625156626 title "A Godel Modal Logic" @default.
- W1625156626 cites W130537534 @default.
- W1625156626 cites W1526392092 @default.
- W1625156626 cites W2028965700 @default.
- W1625156626 cites W2077513906 @default.
- W1625156626 cites W2970205057 @default.
- W1625156626 cites W774527689 @default.
- W1625156626 hasPublicationYear "2009" @default.
- W1625156626 type Work @default.
- W1625156626 sameAs 1625156626 @default.
- W1625156626 citedByCount "5" @default.
- W1625156626 countsByYear W16251566262016 @default.
- W1625156626 countsByYear W16251566262017 @default.
- W1625156626 countsByYear W16251566262019 @default.
- W1625156626 crossrefType "posted-content" @default.
- W1625156626 hasAuthorship W1625156626A5054305320 @default.
- W1625156626 hasAuthorship W1625156626A5079110572 @default.
- W1625156626 hasConcept C111472728 @default.
- W1625156626 hasConcept C11191006 @default.
- W1625156626 hasConcept C11413529 @default.
- W1625156626 hasConcept C118615104 @default.
- W1625156626 hasConcept C136119220 @default.
- W1625156626 hasConcept C138885662 @default.
- W1625156626 hasConcept C154945302 @default.
- W1625156626 hasConcept C185592680 @default.
- W1625156626 hasConcept C188027245 @default.
- W1625156626 hasConcept C189950617 @default.
- W1625156626 hasConcept C192609573 @default.
- W1625156626 hasConcept C202444582 @default.
- W1625156626 hasConcept C25343380 @default.
- W1625156626 hasConcept C27508121 @default.
- W1625156626 hasConcept C2776235265 @default.
- W1625156626 hasConcept C2777212361 @default.
- W1625156626 hasConcept C2781302003 @default.
- W1625156626 hasConcept C33923547 @default.
- W1625156626 hasConcept C41008148 @default.
- W1625156626 hasConcept C71139939 @default.
- W1625156626 hasConcept C77088390 @default.
- W1625156626 hasConceptScore W1625156626C111472728 @default.
- W1625156626 hasConceptScore W1625156626C11191006 @default.
- W1625156626 hasConceptScore W1625156626C11413529 @default.
- W1625156626 hasConceptScore W1625156626C118615104 @default.
- W1625156626 hasConceptScore W1625156626C136119220 @default.
- W1625156626 hasConceptScore W1625156626C138885662 @default.
- W1625156626 hasConceptScore W1625156626C154945302 @default.
- W1625156626 hasConceptScore W1625156626C185592680 @default.
- W1625156626 hasConceptScore W1625156626C188027245 @default.
- W1625156626 hasConceptScore W1625156626C189950617 @default.
- W1625156626 hasConceptScore W1625156626C192609573 @default.
- W1625156626 hasConceptScore W1625156626C202444582 @default.
- W1625156626 hasConceptScore W1625156626C25343380 @default.
- W1625156626 hasConceptScore W1625156626C27508121 @default.
- W1625156626 hasConceptScore W1625156626C2776235265 @default.
- W1625156626 hasConceptScore W1625156626C2777212361 @default.
- W1625156626 hasConceptScore W1625156626C2781302003 @default.
- W1625156626 hasConceptScore W1625156626C33923547 @default.
- W1625156626 hasConceptScore W1625156626C41008148 @default.
- W1625156626 hasConceptScore W1625156626C71139939 @default.
- W1625156626 hasConceptScore W1625156626C77088390 @default.
- W1625156626 hasLocation W16251566261 @default.
- W1625156626 hasOpenAccess W1625156626 @default.
- W1625156626 hasPrimaryLocation W16251566261 @default.
- W1625156626 hasRelatedWork W130537534 @default.
- W1625156626 hasRelatedWork W142053201 @default.
- W1625156626 hasRelatedWork W1480389067 @default.
- W1625156626 hasRelatedWork W153808227 @default.
- W1625156626 hasRelatedWork W1563797259 @default.
- W1625156626 hasRelatedWork W1654394411 @default.
- W1625156626 hasRelatedWork W169175576 @default.
- W1625156626 hasRelatedWork W2023812928 @default.
- W1625156626 hasRelatedWork W2028965700 @default.
- W1625156626 hasRelatedWork W2106310727 @default.
- W1625156626 hasRelatedWork W2110182592 @default.
- W1625156626 hasRelatedWork W2127907968 @default.
- W1625156626 hasRelatedWork W2128848643 @default.
- W1625156626 hasRelatedWork W2405321979 @default.
- W1625156626 hasRelatedWork W2521115099 @default.
- W1625156626 hasRelatedWork W2782710614 @default.
- W1625156626 hasRelatedWork W2934520517 @default.
- W1625156626 hasRelatedWork W2955151225 @default.
- W1625156626 hasRelatedWork W3136553163 @default.
- W1625156626 hasRelatedWork W3158961529 @default.
- W1625156626 isParatext "false" @default.
- W1625156626 isRetracted "false" @default.
- W1625156626 magId "1625156626" @default.
- W1625156626 workType "article" @default.