Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
release_6kzxxtt6tbgfvktp7lirlctubu
by
Kentarô Yamamoto
2019
Abstract
We investigate the role of coalgebraic predicate logic, a logic for
neighborhood frames first proposed by Chang, in the study of monotonic modal
logics. We prove analogues of the Goldblatt-Thomason Theorem and Fine's
Canonicity Theorem for classes of monotonic neighborhood frames closed under
elementary equivalence in coalgebraic predicate logic. The elementary
equivalence here can be relativized to the classes of monotonic, quasi-filter,
augmented quasi-filter, filter, or augmented filter neighborhood frames,
respectively. The original, Kripke-semantic versions of the theorems follow as
a special case concerning the classes of augmented filter neighborhood frames.
In text/plain
format
Archived Files and Locations
application/pdf 559.3 kB
file_eycpa3a5ezhpdk46cpwjnup7ku
|
arxiv.org (repository) web.archive.org (webarchive) |
1904.12997v3
access all versions, variants, and formats of this works (eg, pre-prints)