Epistemic Logic

MaRDI QIDQ5973201swMATHFDO

Authors Asta Halkjær From

Publication date 29 October 2018

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

Cites work

• Unnamed Publication
• Modal logic

Cited in

(11)

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

This page was built for software: Epistemic Logic