Tools and Techniques in Modal Logic

Elsevier (1999)
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.
Keywords Modality (Logic
Categories (categorize this paper)
Buy the book $133.00 used (20% off)   $164.99 new (1% off)   $165.00 direct from Amazon    Amazon page
Call number QA9.46.K7 1999
ISBN(s) 0444500553  
DOI 10.2307/2687780
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,719
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
A Proof-Theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.
The Bounded Proof Property Via Step Algebras and Step Frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
Bare Canonicity of Representable Cylindric and Polyadic Algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.

View all 17 citations / Add more citations

Similar books and articles
Modal Logic as Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57 - 93.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge University Press.
Proof Theory of Modal Logic.H. Wansing (ed.) - 1996 - Kluwer Academic Publishers.
Modality, Si! Modal Logic, No!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
Modal Logic.Alexander Chagrov - 1997 - Oxford University Press.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Added to PP index
2009-01-28

Total downloads
2 ( #797,495 of 2,197,287 )

Recent downloads (6 months)
1 ( #298,964 of 2,197,287 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature