Axiomatization and computability of a variant of iteration-free PDL with fork.

Philippe Balbiani Joseph Boudou

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

neural network
decision making
face recognition
relational databases
propositional dynamic logic
complete axiomatization
database systems
objective function
iterative process
deontic logic