Dynamic extensions of arrow logic

Philippe Balbiani, Dimiter Vakarelov. Dynamic extensions of arrow logic. Annals of Pure and Applied Logic, 127(1-3):1-15, 2004. [doi]

Abstract

Abstract is missing.