Login / Signup
Trust and Commitment in Dynamic Logic.
Jan M. Broersen
Mehdi Dastani
Zhisheng Huang
Leendert W. N. van der Torre
Published in:
EurAsia-ICT (2002)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
trust model
trust evaluation
classical first order logic
first order logic
propositional dynamic logic
machine learning
agent programming
multi dimensional
open systems
modal operators