3 citations · 6 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2019★ 1 cited
Horn Clauses in Hybrid-Dynamic First-Order Logic
Daniel Găină, Ionuţ Ţuţu
We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop exten…