1 paper · 1 filter
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.…