5 problems

Let $\mathbf{L}_{\min}$ be the minimal intuitionistic modal logic, and let $\mathtt{Log}(\mathcal C_{\mathbf{uc}})$ and $\mathtt{Log}(\mathcal C_{\mathbf{quc}})$ denote the logics…

Let $L$ be a modal logic, and let a descriptive frame and a Kripke frame for $L$ have their usual meanings. Say that $L$ is strongly Kripke complete when every $L$-consistent set o…

Let $F_1,\ldots,F_n$ be frame properties used to define an extension $\EK F_1\ldots F_n$ of the ecumenical modal logic $\EK$. An Ecumenical model is a model for $\EK$ whose accessi…

Let $\Lambda_n$ be the axiom system described above, and consider general multi-modal Kripke models for this system. Truth-preserving unraveling conjecture. Unraveling techniques s…

Let $\mathfrak F$ be a class of ${\textup{\textbf{IL}}}$-frames, and define … Let $\mathfrak{All}$ be the class of frames in which every $S$-relation implication that follows both…