Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp [Book Review]

Bulletin of Symbolic Logic 6 (4):490-495 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420982

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 104,101

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

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.
Maarten Marx and Yde Venema, Multi-Dimensional Modal Logic.M. Zakharyaschev - 2000 - Journal of Logic Language and Information 9 (1):128-131.
Hájek Petr. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp. [REVIEW]Francis Jeffry Pelletier - 2000 - Bulletin of Symbolic Logic 6 (3):342-346.
Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp. [REVIEW]Wiebe Van Der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Multi-dimensional modal logic, Maarten Marx and Yde Venema.Michael Zakharyaschev - 2000 - Journal of Logic, Language and Information 9 (1):128-131.
Melvin Fitting and Richard L. Mendelsohn. First-order modal logic. Synthese library, vol. 277. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, xii + 287 pp. [REVIEW]Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-431.
Prakken Henry. Logical tools for modelling legal argument. A study of defeasible reasoning in law. Law and philosophy library, vol. 32. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 314 pp. [REVIEW]R. P. Loui - 1999 - Journal of Symbolic Logic 64 (4):1840-1841.
Skordev Dimiter G.. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications , vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp. [REVIEW]Dag Normann - 1995 - Journal of Symbolic Logic 60 (2):695-696.

Analytics

Added to PP
2013-11-21

Downloads
117 (#192,578)

6 months
14 (#220,755)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references