Areas of research

Modal Logic (Epistemic Logic)