Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Cologic of Closed Covers of Compacta and the Pseudo-Arc
Kentarô Yamamoto
A formal system called cologic is proposed for the study of compacta. A counterpart of countable model theory is developed for this system, and it is applied to model theory of the…
math.LO2019
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…