Constructive and mechanised meta-theory of IEL and similar modal logics

Keyphrases

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

Computer Science

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

Mathematics

• Epistemic Logic 100%
• Decidability 33%
• Type Theory 16%
• Completeness Proof 16%
• Classical Modal Logic 16%