Tools and Techniques in Modal Logic

Bulletin of Symbolic Logic 7 (2):278-279 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687780

Links

PhilArchive



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

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.Marcus Kracht - 1999 - New York: Elsevier.
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.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Modal logic. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-300.
REVIEWS-Modal logic.P. Blackburn, M. De Rijke, Y. Venema & Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-300.
Multi-Dimensional Modal Logic.Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
On self-referentiality in modal logic.Roman Kuznets - 2006 - Bulletin of Symbolic Logic 12 (3).
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
Advances in Modal Logic.Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Modal logic. An introduction to its syntax and semantics.Nino B. Cocchiarella & Max A. Freund - 2010 - Bulletin of Symbolic Logic 16 (2):275-276.

Analytics

Added to PP
2013-11-21

Downloads
10 (#395,257)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.

View all 24 citations / Add more citations

References found in this work

No references found.

Add more references