Epistemic Logic of Likelihood and Belief.

James P. Delgrande Joshua Sack Gerhard Lakemeyer Maurice Pagnucco

Published in: IJCAI (2022)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
belief revision
logical framework
inference rules
computation tree logic
multi faceted
mathematical theory
belief functions
formal semantics
formal specification
probability theory
situation calculus
temporal logic