David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 58 (2):229-259 (1997)
This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L of L-companions of . Here L consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L, whether L contains a smallest element, and whether L contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov . Thus a number of problems stated in  are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from .
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
Similar books and articles
Dimiter Vakarelov (1981). Intuitionistic Modal Logics Incompatible with the Law of the Excluded Middle. Studia Logica 40 (2):103 - 111.
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Alex Citkin (2010). Metalogic of Intuitionistic Propositional Calculus. Notre Dame Journal of Formal Logic 51 (4):485-502.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
Added to index2009-01-28
Total downloads17 ( #160,237 of 1,726,249 )
Recent downloads (6 months)3 ( #231,316 of 1,726,249 )
How can I increase my downloads?