Goldblatt-Thomason Theorems for Modal Intuitionistic Logics release_kbfjkx6dgranhicgdjt433n2jy

by Jim de Groot

Released as a article .

2020  

Abstract

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.
In text/plain format

Archived Files and Locations

application/pdf  573.9 kB
file_vpsssmfqfvfx3cpoglmd75x67a
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2020-11-20
Version   v1
Language   en ?
arXiv  2011.10221v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 1a576dd4-2d23-44ef-9142-c9a0e6a2d86f
API URL: JSON