How much does an agent believe: An extension of modal epistemic logic.

Subrata Kumar Das

Published in: Applications of Uncertainty Formalisms (1998)

Keyphrases

epistemic logic
modal logic
multi agent systems
computation tree logic
temporal logic
dynamic epistemic logic
multi agent
inference rules
model checking
autonomous agents
logical framework
multiple agents
multi faceted
decision theoretic
mathematical theory
probabilistic model
image processing