Cognitive Aspects in Epistemic Logic L-DINF.

Stefania Costantini Andrea Formisano Valentina Pitoni

Published in: CAKR@IJCAI (2022)

Keyphrases

epistemic logic
modal logic
model checking
dynamic epistemic logic
inference rules
computational models
multi agent systems
logical framework
computation tree logic
qualitative and quantitative
mathematical theory
multi faceted
formal semantics
model checker
object oriented
multi agent
decision making