3 papers
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…
econ.TH2024
A Certain Notion of Strategy Freedom under Retail Competition in Claims Problems
Kentarô Yamamoto
A new axiom for rules for claims problems is introduced. It strengthens a condition studied in supply chain literature, which forces rules to disincentivize order inflation under c…
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…