Review: Heinrich Wansing, Proof Theory of Modal Logic [Book Review]

Journal of Symbolic Logic 64 (4):1825-1828 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp. [REVIEW]Melvin Fitting - 1999 - Journal of Symbolic Logic 64 (4):1825-1828.
Review: Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev, Advances in Modal Logic. [REVIEW]Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.
Review: Melvin Chris Fitting, Intuitionistic Logic Model Theory and Forcing. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
Fitting Melvin. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Review: Melvin Fitting, Fundamentals of Generalized Recursion Theory. [REVIEW]Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (4):1078-1079.
Heinrich Wansing, Displaying Modal Logic.R. Gore - 2000 - Journal of Logic Language and Information 9 (2):269-272.
Review: Raymond M. Smullyan, Melvin Fitting, Set Theory and the Continuum Problem. [REVIEW]James Cummings - 1999 - Journal of Symbolic Logic 64 (1):401-403.
Displaying modal logic, Heinrich Wansing.Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):269-272.
Review: Melvin Fitting, First-Order Logic and Automated Theorem Proving. [REVIEW]Alfredo Ferro - 1993 - Journal of Symbolic Logic 58 (2):719-719.

Analytics

Added to PP
2013-11-02

Downloads
7 (#603,698)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references