An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

• 1 January 1998
• journal article
• Published by Springer Nature in Journal of Logic, Language and Information
• Vol. 7  (3) , 369-388
• https://doi.org/10.1023/a:1008243611454

Abstract

Keywords

• DEFAULT LOGIC
• MODELS
• SEMANTICS
• FORMALISM
• PARTIAL
• EXPLICIT
• TEMPORAL EPISTEMIC