Author
Hashimoto Go
results may include different authors with the same name
1 papers
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 compositions, unions, and transitive closures of transition…