Dynamic extensions of arrow logic (Q598299)

The paper provides a complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection; see related work by the authors [\textit{P. Balbiani} and \textit{D. Vakarelov}, Fundam. Inform. 45, No. 3, 173--194 (2001; Zbl 0976.03037)]. The proposed deductive system contains a non-orthodox inference rule for the intersection. The completeness proof follows the accordingly modified canonical model technique.