A public announcement separation logic.

Jean-René Courtault Hans van Ditmarsch Didier Galmiche

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

logic programming
predicate logic
automated reasoning
multi valued
classical logic
defeasible logic
machine learning
information retrieval
modal logic
information systems
decision trees
probabilistic logic
abductive reasoning
deontic logic
proof theory