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

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.
Modal Foundations for Predicate Logic.Johan van Benthem - 1997 - Logic Journal of the IGPL 5 (2):259-286.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Modal Logic.Johan van Benthem - 2015 - Internet Encyclopedia of Philosophy.
Interpolation and Preservation in.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
Generalized quantifiers and modal logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Generalized quantifiers and modal logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Power and weakness of the modal display calculus.Marcus Kracht - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 93--121.
Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
Is modal logic logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.

Analytics

Added to PP
2013-11-21

Downloads
22 (#708,419)

6 months
3 (#973,855)

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