Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
A formulation of D-institution using functor categories
Go Hashimoto
Variables are a crucial element in logic and are also addressed in institution theory, an effort to axiomatize logic. In institution theory, we typically use extensions (signature…
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.…
cs.LO2024
Forcing, Transition Algebras, and Calculi
Hashimoto Go, Daniel Găină, Ionuţ Ţuţu
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositi…