Epistemic Logic
From MaRDI portal
Software:5973201
No author found.
Related Items (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