Publication | Open Access

Uniform semantic treatment of default and autoepistemic logics

Non-classical LogicEngineeringAutomated ReasoningDefault LogicUniform Semantic TreatmentFormal MethodsEpistemic LogicLanguage StudiesSemanticsLinguistics