Login / Signup

PDL with Intersection of Programs: A Complete Axiomatization.

Philippe BalbianiDimiter Vakarelov
Published in: J. Appl. Non Class. Logics (2003)
Keyphrases
  • complete axiomatization
  • dynamic logic
  • database systems
  • modal logic
  • inclusion dependencies