A first approach to abstract modal logics

Journal of Symbolic Logic 54 (3):1042-1062 (1989)
The object of this paper is to make a study of four systems of modal logic (S4, S5, and their intuitionistic analogues IM4 and IM5) with the techniques of the theory of abstract logics set up by Suszko, Bloom, Brown, Verdú and others. The abstract concepts corresponding to such systems are defined as generalizations of the logics naturally associated to their algebraic models (topological Boolean or Heyting algebras, general or semisimple). By considering new suitably defined connectives and by distinguishing between having the rule of necessitation only for theorems or as a full inference rule (which amounts to dealing with all filters or with open filters of the algebras) we are able to reduce the study of a modal (abstract) logic L to that of two nonmodal logics L - and L + associated with L. We find that L is "of IM4 type" if and only if L - and L + are both intuitionistic and have the same theorems, and logics of type S4, IM5 or S5 are obtained from those of type IM4 simply by making classical L -, L + or both. We compare this situation with that found in recent approaches to intuitionistic modal logic using birelational models or using higher-level sequent-systems. The treatment of modal systems with abstract logics is rather new, and in our way to it we find several general constructions and results which can also be applied to other modal systems weaker than those we study in detail
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274764
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 24,411
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Ventura Verdú (1987). Logics Projectively Generated From [ℳ] = by a Set of Homomorphisms. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):235-241.
Ventura Verdú (1985). Some Algebraic Structures Determined by Closure Operators. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):275-278.

View all 7 references / Add more references

Citations of this work BETA
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

13 ( #332,823 of 1,924,718 )

Recent downloads (6 months)

4 ( #211,819 of 1,924,718 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.