Epistemic Logic

swMATH42014MaRDI QIDQ5973201FDOQ5973201

Author name not available (Why is that?)

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
• Formalized soundness and completeness of epistemic logic
• OpenCourseWare
• FOL Fitting
• Paraconsistency
• Propositional Resolution
• SAT Solver Verification

This page was built for software: Epistemic Logic