Iteration-free PDL with Intersection: a Complete Axiomatization.

Philippe Balbiani Dimiter Vakarelov

Published in: Fundam. Informaticae (2001)

Keyphrases

complete axiomatization
neural network
deontic logic
objective function
high level
distributed systems