Formalized Soundness and Completeness of Epistemic Logic.

Asta Halkjær From

Published in: WoLLIC (2021)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
multi faceted
inference rules
logical framework
formal semantics
mathematical theory
computation tree logic
temporal logic
artificial intelligence
bayesian networks
multi agent
domain independent