An interpretation of default logic in minimal temporal epistemic logic

DOI10.1023/A:1008243611454zbMath0921.03037OpenAlexW1566718590MaRDI QIDQ1289107

Joeri Engelfriet, Jan Treur

Publication date: 29 September 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008243611454

zbMATH Keywords

default logicsemanticstemporal logicnonmonotonic reasoningtemporal epistemic logicpreferential entailmenttemporal epistemic models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (3)

Formal semantics of meta-level architectures: Dynamic control of reasoning ⋮ Logic programming as classical inference ⋮ Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics

This page was built for publication: An interpretation of default logic in minimal temporal epistemic logic