"epistemic modal logic" - related articles and key terms