Epistemic Logic

MaRDI QIDQ5973201swMATHFDO

Official website https://www.isa-afp.org/entries/Epistemic_Logic.html

Cited in

(11)

• Formalizing axiomatic systems for propositional logic in Isabelle/HOL
• THINKER
• SQEMA
• TLA
• MUSCADET
• OpenCourseWare
• FOL Fitting
• Paraconsistency
• Propositional Resolution
• SAT Solver Verification
• Formalized soundness and completeness of epistemic logic

This page was built for software: Epistemic Logic