This paper characterizes the admissible rules for six interesting intuitionistic modal logics:
iCK4, iCS4≡ IPC, strong Löb logic iSL, modalized Heyting calculus mHC, Kuznetsov …

The topics covered in the thesis are about intuitionistic and modal logics but also touch the
area of dynamic epistemic logic. There are two standard methods to prove the finite model …

We discuss some of Jankov's contributions to the study of intermediate logics, including the
development of what have become known as Jankov formulas and a proof that there are …

We obtain, for the first time, a modular many-valued semantics for combined logics, which is
built directly from many-valued semantics for the logics being combined, by means of …

The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate
logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for …

This thesis is a study of logics whose semantics is based on neighbourhood frames.
Neighbourhood frames are a generalization of Kripke frames and are generally used as a …

This thesis develops the theory of stable canonical formulas and rules for intuitionistic modal
logics and Heyting-Lewis logics. We prove that every intuitionistic modal (or Heyting-Lewis) …

We develop the method of canonical formulas for the lax logic. This is an intuitionistic modal
logic that formalises nuclei of pointless topology and has applications in formal hardware …

We show that the polymodal provability logic GLP, in a language with at least two modalities
and one variable, has nullary unification type. More specifically, we show that the formula [1] …

Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Indeed,
they provide a uniform and semantic way of axiomatising all extensions of intuitionistic logic …