Academic Journals Database
Disseminating quality controlled scientific knowledge

A Neighbourhood Semantics for the Logic TK

Author(s): Cezar A. Mortari | Hércules de Araújo Feitosa

Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247

Volume: 15;
Issue: 2;
Start page: 287;
Date: 2011;
Original page

Keywords: Consequence operator | TK algebra | TK logic | neighbourhood semantics

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.
Why do you need a reservation system?      Affiliate Program