About the Complete Axiomatization of Dynamic Extensions of Arrow Logic
1991 ◽
Vol 16
(3)
◽
pp. 439-475
◽
Keyword(s):
2008 ◽
Vol 18
(2-3)
◽
pp. 137-152
Keyword(s):
Keyword(s):
1994 ◽
pp. 555-568
◽
Keyword(s):
Keyword(s):
1995 ◽
Vol 152
(2)
◽
pp. 251-268
◽
Keyword(s):