Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Forcing and Interpolation in first-order hybrid Logic with rigid symbols
Daniel GÄinÄ, Go Hashimoto
In this paper, we establish an analogue of Craig Interpolation Property for a many-sorted variant of first-order hybrid logic. We develop a forcing technique that dynamically adds…
cs.LO2025
Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel GÄinÄ
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic.…