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 [Book Review]

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: 91,386

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

Jacobs Bart. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
Tools and Techniques in Modal Logic.Guram Bezhanishvili - 2001 - Bulletin of Symbolic Logic 7 (2):278-279.
P. G. Odifreddi. Classical recursion theory. Volume II. Studies in logic and the foundations of mathematics, vol. 143. Elsevier, Amsterdam etc. 1999, xvi + 949 pp. [REVIEW]Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
Ash C. J. and Knight J.. Computable structures and the hyperarithmetical hierarchy. Studies in logic and the foundations of mathematics, vol. 144. Elsevier, Amsterdam etc. 2000, xv + 346 pp. [REVIEW]Valentina Harizanov - 2001 - Bulletin of Symbolic Logic 7 (3):383-385.
Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp. [REVIEW]Peter T. Johnstone - 2010 - Bulletin of Symbolic Logic 16 (3):407-409.
Cantini Andrea. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp. [REVIEW]Thomas Strahm - 1998 - Journal of Symbolic Logic 63 (1):328-329.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
G. H. von Wright. Interpretations of modal logic. Mind, n.s. vol. 61 , pp. 165–177. [REVIEW]Alan Ross Anderson - 1953 - Journal of Symbolic Logic 18 (2):174-176.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Beth E. W.. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
The Semantics of Modal Predicate Logic I. Counterpart-Frames.Marcus Kracht & Oliver Kutz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 299-320.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Martin-Löf Per. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by Rose H. E. and Shepherdson J. C., Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.

Analytics

Added to PP
2019-05-08

Downloads
11 (#1,113,583)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references