Goldblatt-Thomason Theorems for Modal Intuitionistic Logics

11/20/2020
by   Jim de Groot, et al.
0

We prove Goldblatt-Thomason theorems for frames and models of a wide variety of modal intuitionistic logics, including ones studied by Wolter and Zakharyaschev, Goldblatt, Fischer Servi, and Plotkin and Sterling. We use the framework of dialgebraic logic to describe most of these logics and derive results in a uniform way.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/21/2021

Non axiomatizability of Modal Lukasiewicz Logic

In this work we study the decidability of the global modal logic arising...
research
07/26/2022

Canonicity in power and modal logics of finite achronal width

We develop a method for showing that various modal logics that are valid...
research
04/14/2022

A van Benthem Theorem for Atomic and Molecular Logics

After recalling the definitions of atomic and molecular logics, we show ...
research
07/16/2002

Interpolation Theorems for Nonmonotonic Reasoning Systems

Craig's interpolation theorem (Craig 1957) is an important theorem known...
research
03/07/2000

A flexible framework for defeasible logics

Logics for knowledge representation suffer from over-specialization: whi...
research
03/29/2013

Symmetries in Modal Logics

We generalize the notion of symmetries of propositional formulas in conj...
research
06/15/2023

Streamlining Input/Output Logics with Sequent Calculi

Input/Output (I/O) logic is a general framework for reasoning about cond...

Please sign up or login with your details

Forgot password? Click here to reset