Dynamic Epistemic Logic of Questions, Interrogative Epistemic Logic, Mettel2, tableau synthesis framework.