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,867

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.
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv: ISBN 978-3-030-12095-5 (Hardcover) 80,24 e, ISBN 978-3-030-12096-2 (eBook) 46 €. [REVIEW]Hilary A. Priestley - 2021 - Studia Logica 109 (5):1171-1173.
On self-referentiality in modal logic.Roman Kuznets - 2006 - Bulletin of Symbolic Logic 12 (3).
Completely separable mad families and the modal logic of βω.Tomáš Lávička & Jonathan L. Verner - 2022 - Journal of Symbolic Logic 87 (2):498-507.
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
Multi-Dimensional Modal Logic.Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.

Analytics

Added to PP
2013-11-21

Downloads
11 (#1,146,652)

6 months
5 (#836,928)

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