Epistemic Logic

Home > Mathematics > Mathematical Logic > Non-classical Logics > Epistemic Logic

This is a type of logic that is used to reason about knowledge and belief. Epistemic logic allows for the use of modalities like "know" and "believe.".