Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic.

Christian Hagemeier Dominik Kirst

Published in: LFCS (2022)

Keyphrases

epistemic logic
logical framework
mathematical theory
model checking
dynamic epistemic logic
inference rules
linear logic
multi agent systems
modal logic
multi faceted
artificial intelligence
computation tree logic
random variables
incomplete information
fuzzy set theory
reasoning tasks