A first approach to abstract modal logics

Journal of Symbolic Logic 54 (3):1042-1062 (1989)
Abstract
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
Options
 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
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,777
Through your library
References found in this work BETA
Algebraic Aspects of Deduction Theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Modality and Possibility in Some Intuitionistic Modal Logics.Josep M. Font - 1986 - Notre Dame Journal of Formal Logic 27 (4):533-546.
Logics Projectively Generated From [ℳ] = by a Set of Homomorphisms.Ventura Verdú - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):235-241.
Some Algebraic Structures Determined by Closure Operators.Ventura Verdú - 1985 - 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
Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-01-28

Total downloads

14 ( #336,729 of 2,177,988 )

Recent downloads (6 months)

1 ( #317,204 of 2,177,988 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums