3 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
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…