Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic

Keyphrases

• Cut Elimination 100%
• Epistemic Logic 100%
• Metatheory 100%
• Intuitionistic Epistemic Logic 80%
• Sano 40%
• Finite Model Property 40%
• Conception of Knowledge 20%
• Intuitionistic 20%
• Modal Logic 20%
• Constructive Type Theory 20%
• Coq Proof Assistant 20%
• Proof-based 20%
• Completeness Proofs 20%
• Classical Modal Logics 20%
• Metalogic 20%

Computer Science

• Metatheory 100%
• Finite Model Property 100%
• Syntactics 50%
• Constructive Type 50%
• Completeness Proof 50%