Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics release_6kzxxtt6tbgfvktp7lirlctubu

by Kentarô Yamamoto

Released as a article .

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)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2019-12-10
Version   v3
Language   en ?
arXiv  1904.12997v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a0a09415-4cb6-4f2f-b4dd-336d40014bf9
API URL: JSON