A Neighbourhood Semantics for the Logic TK

Cezar A. Mortari
Universidade Federal de Santa Catarina
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 . DOI:10.5007/1808-1711.2011v15n2p287
Keywords Consequence operator  Operador de consequência  TK logic  lógica TK  álgebra TK  TK algebra  semântica de vizinhanças.  neighbourhood semantics
Categories (categorize this paper)
Reprint years 2012
DOI 10.5007/1808-1711.2011v15n2p287
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,340
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Revision Algebra Semantics for Conditional Logic.John Pais - 1992 - Studia Logica 51 (2):279 - 316.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
The Inadequacy of the Neighbourhood Semantics for Modal Logic.Martin Gerson - 1975 - Journal of Symbolic Logic 40 (2):141-148.
B-Varieties with Normal Free Algebras.Bronis?aw Tembrowski - 1989 - Studia Logica 48 (4):555 - 564.
Propositional Q-Logic.Stefan Wölfl - 2002 - Journal of Philosophical Logic 31 (5):387-414.


Added to PP index

Total views
29 ( #300,621 of 2,271,536 )

Recent downloads (6 months)
17 ( #47,861 of 2,271,536 )

How can I increase my downloads?


My notes

Sign in to use this feature