%0 Journal Article
%T A Neighbourhood Semantics for the Logic TK
%A Cezar A. Mortari
%A H¨Śrcules de Ara¨˛jo Feitosa
%J Principia : an International Journal of Epistemology
%D 2011
%I Universidade Federal de Santa Catarina, Brasil
%X 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.
%K Consequence operator
%K TK algebra
%K TK logic
%K neighbourhood semantics
%U http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287/21044