Publication | Closed Access

A guide to completeness and complexity for modal logics of knowledge and belief

Knowledge RepresentationEngineeringAutomated ReasoningPropositional LogicClassical LogicFormal MethodsEpistemologyModal LogicsDoxastic LogicEpistemic LogicSemanticsModal Logic