Login / Signup
PDL with Intersection of Programs: A Complete Axiomatization.
Philippe Balbiani
Dimiter Vakarelov
Published in:
J. Appl. Non Class. Logics (2003)
Keyphrases
</>
complete axiomatization
dynamic logic
database systems
modal logic
inclusion dependencies