Epistemic Logic

swMATH42014MaRDI QIDQ5973201FDOQ5973201

Author name not available (Why is that?)

Cited In (2)

• Formalizing axiomatic systems for propositional logic in Isabelle/HOL
• Formalized soundness and completeness of epistemic logic

This page was built for software: Epistemic Logic