BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
2011.10221v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links