Login / Signup
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.
Eric Ufferman
Pedro Arturo Góngora
Francisco Hernández Quiroz
Published in:
Advances in Modal Logic (2010)
Keyphrases
</>
knowledge representation
dynamic environments
provably correct
proof search
data sets
learning algorithm
multi agent systems
dynamic aspects