Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

Kentarô Yamamoto

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 G…