Tools and techniques in modal logic

New York: Elsevier (1999)
  Copy   BIBTEX

Abstract

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.

Categories

Keywords

Reprint years

Call number

QA9.46.K7 1999

ISBN(s)

0444500553

DOI

10.2307/2687780

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tools and Techniques in Modal Logic.Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp. [REVIEW]Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Modal logic from Kant to possible worlds semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
On the completeness of classical modal display logic.Rajeev Goré - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 2--137.
Modal Logic in the Modal Sense of Modality. [REVIEW]John P. Burgess - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 51-72.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Proofs and Expressiveness in Alethic Modal Logic.Maarten de Rijke & Heinrich Wansing - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 422–441.

Analytics

Added to PP
2009-01-28

Downloads
4 (#1,013,551)

6 months
24 (#640,997)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.

View all 52 citations / Add more citations

References found in this work

No references found.

Add more references