Towards Syntactic Epistemic Logic.

Published in: Fundam. Informaticae (2022)

Keyphrases

epistemic logic
model checking
modal logic
multi agent systems
logical framework
natural language
dynamic epistemic logic
computation tree logic
formal semantics
inference rules
mathematical theory
multi faceted
temporal logic
multi agent
knowledge base
situation calculus