Studia Logica 55 (2):273 - 299 (1995)
|Abstract||In this paper we develop a general framework to deal with abstract logics associated with a given modal logic. In particular we study the abstract logics associated with the weak and strong deductive systems of the normal modal logicK and its intuitionistic version. We also study the abstract logics that satisfy the conditionC +(X)=C( in I n X) and find the modal deductive systems whose abstract logics, in addition to being classical or intuitionistic, satisfy that condition. Finally we study the deductive systems whose abstract logics satisfy, in addition to the already mentioned properties, the property that the operatorC + is classical relative to some new defined operations.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
Frank Wolter (1997). Superintuitionistic Companions of Classical Modal Logics. Studia Logica 58 (2):229-259.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Josep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Josep M. Font & Ventura Verdú (1989). A First Approach to Abstract Modal Logics. Journal of Symbolic Logic 54 (3):1042-1062.
Added to index2009-01-28
Total downloads4 ( #178,800 of 549,250 )
Recent downloads (6 months)1 ( #63,397 of 549,250 )
How can I increase my downloads?