Chapter Headings only. About this Book. Overview. Part 1. The Fundamentals. Algebra, logic and deduction. Fundamentals of modal logic I. Fundamentals of modal logic II. Part 2. The General Theory of… Expand

In mono-modal logic there is a fair number of high-powered results on completeness covering large classes of modal systems, witness for example Fine [74,85] and Sahlqvist [75].Expand

In this paper we will study the properties of the least extension n(Λ) of a given intermediate logic Λ by a strong negation, which is a homomorphism of complete lattices.Expand

This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that monomodal (normal) normal logic can also be simulated.Expand

Recently,new work has appeared or come to my awareness that has made it neces-sary to rethink large parts of the earlier work. I am referring here especiallyto O’Keefe (1996, 2003), Svenonius (2006),… Expand

The present paper explores applications of Display Logic as defined in [1] to modal logic. Acquaintance with that paper is presupposed, although we will give all necessary definitions. Display Logic… Expand

It has been said that modal logic consists of three main disciplines: duality theory, completeness theory and correspondence theory; and that they are the pillars on which this edifice called modal Logic rests.Expand