Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567897098> ?p ?o ?g. }
- W1567897098 abstract "The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4." @default.
- W1567897098 created "2016-06-24" @default.
- W1567897098 creator A5031259620 @default.
- W1567897098 creator A5063507351 @default.
- W1567897098 date "2012-02-24" @default.
- W1567897098 modified "2023-10-16" @default.
- W1567897098 title "<b>A Neighbourhood Semantics for the Logic TK</b><br>DOI:10.5007/1808-1711.2011v15n2p287" @default.
- W1567897098 cites W1480405493 @default.
- W1567897098 cites W1490829364 @default.
- W1567897098 cites W1519478560 @default.
- W1567897098 cites W1532122496 @default.
- W1567897098 cites W1570311220 @default.
- W1567897098 cites W1596067335 @default.
- W1567897098 cites W1984820433 @default.
- W1567897098 cites W1991650963 @default.
- W1567897098 cites W2032386884 @default.
- W1567897098 cites W2954327716 @default.
- W1567897098 cites W2970205057 @default.
- W1567897098 cites W613576546 @default.
- W1567897098 doi "https://doi.org/10.5007/1808-1711.2011v15n2p287" @default.
- W1567897098 hasPublicationYear "2012" @default.
- W1567897098 type Work @default.
- W1567897098 sameAs 1567897098 @default.
- W1567897098 citedByCount "1" @default.
- W1567897098 countsByYear W15678970982015 @default.
- W1567897098 crossrefType "journal-article" @default.
- W1567897098 hasAuthorship W1567897098A5031259620 @default.
- W1567897098 hasAuthorship W1567897098A5063507351 @default.
- W1567897098 hasBestOaLocation W15678970981 @default.
- W1567897098 hasConcept C102993220 @default.
- W1567897098 hasConcept C104317684 @default.
- W1567897098 hasConcept C114092440 @default.
- W1567897098 hasConcept C118615104 @default.
- W1567897098 hasConcept C134306372 @default.
- W1567897098 hasConcept C136119220 @default.
- W1567897098 hasConcept C158448853 @default.
- W1567897098 hasConcept C160131679 @default.
- W1567897098 hasConcept C161677786 @default.
- W1567897098 hasConcept C17020691 @default.
- W1567897098 hasConcept C178421362 @default.
- W1567897098 hasConcept C185592680 @default.
- W1567897098 hasConcept C188027245 @default.
- W1567897098 hasConcept C192609573 @default.
- W1567897098 hasConcept C199343813 @default.
- W1567897098 hasConcept C199360897 @default.
- W1567897098 hasConcept C202444582 @default.
- W1567897098 hasConcept C203659156 @default.
- W1567897098 hasConcept C27508121 @default.
- W1567897098 hasConcept C2777686260 @default.
- W1567897098 hasConcept C2779729104 @default.
- W1567897098 hasConcept C33923547 @default.
- W1567897098 hasConcept C39920170 @default.
- W1567897098 hasConcept C41008148 @default.
- W1567897098 hasConcept C55493867 @default.
- W1567897098 hasConcept C69562738 @default.
- W1567897098 hasConcept C71139939 @default.
- W1567897098 hasConcept C71924100 @default.
- W1567897098 hasConcept C78023250 @default.
- W1567897098 hasConcept C78344899 @default.
- W1567897098 hasConcept C80444323 @default.
- W1567897098 hasConcept C86339819 @default.
- W1567897098 hasConcept C9376300 @default.
- W1567897098 hasConceptScore W1567897098C102993220 @default.
- W1567897098 hasConceptScore W1567897098C104317684 @default.
- W1567897098 hasConceptScore W1567897098C114092440 @default.
- W1567897098 hasConceptScore W1567897098C118615104 @default.
- W1567897098 hasConceptScore W1567897098C134306372 @default.
- W1567897098 hasConceptScore W1567897098C136119220 @default.
- W1567897098 hasConceptScore W1567897098C158448853 @default.
- W1567897098 hasConceptScore W1567897098C160131679 @default.
- W1567897098 hasConceptScore W1567897098C161677786 @default.
- W1567897098 hasConceptScore W1567897098C17020691 @default.
- W1567897098 hasConceptScore W1567897098C178421362 @default.
- W1567897098 hasConceptScore W1567897098C185592680 @default.
- W1567897098 hasConceptScore W1567897098C188027245 @default.
- W1567897098 hasConceptScore W1567897098C192609573 @default.
- W1567897098 hasConceptScore W1567897098C199343813 @default.
- W1567897098 hasConceptScore W1567897098C199360897 @default.
- W1567897098 hasConceptScore W1567897098C202444582 @default.
- W1567897098 hasConceptScore W1567897098C203659156 @default.
- W1567897098 hasConceptScore W1567897098C27508121 @default.
- W1567897098 hasConceptScore W1567897098C2777686260 @default.
- W1567897098 hasConceptScore W1567897098C2779729104 @default.
- W1567897098 hasConceptScore W1567897098C33923547 @default.
- W1567897098 hasConceptScore W1567897098C39920170 @default.
- W1567897098 hasConceptScore W1567897098C41008148 @default.
- W1567897098 hasConceptScore W1567897098C55493867 @default.
- W1567897098 hasConceptScore W1567897098C69562738 @default.
- W1567897098 hasConceptScore W1567897098C71139939 @default.
- W1567897098 hasConceptScore W1567897098C71924100 @default.
- W1567897098 hasConceptScore W1567897098C78023250 @default.
- W1567897098 hasConceptScore W1567897098C78344899 @default.
- W1567897098 hasConceptScore W1567897098C80444323 @default.
- W1567897098 hasConceptScore W1567897098C86339819 @default.
- W1567897098 hasConceptScore W1567897098C9376300 @default.
- W1567897098 hasIssue "2" @default.
- W1567897098 hasLocation W15678970981 @default.
- W1567897098 hasLocation W15678970982 @default.
- W1567897098 hasOpenAccess W1567897098 @default.
- W1567897098 hasPrimaryLocation W15678970981 @default.