Towards an Epistemic Logic of Concepts.

Tanja Hötte Thomas Müller

Published in: ICCS (2006)

Keyphrases

epistemic logic
model checking
mathematical theory
modal logic
formal semantics
inference rules
computation tree logic
multi agent systems
logical framework
machine learning
temporal logic
multi faceted
dynamic epistemic logic