Minimal temporal epistemic logic

DOI10.1305/ndjfl/1040046088zbMath0866.03014OpenAlexW2023870985MaRDI QIDQ1815428

Joeri Engelfriet

Publication date: 26 June 1997

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040046088

zbMATH Keywords

complexitytemporal semanticsaxiomatizationtemporal epistemic logicminimal entailmentconservativity of reasoningdegree-of-information ordering on epistemic statesdownward persistent formulasdynamics of nonmonotonic reasoningformalization of information states

Mathematics Subject Classification ID

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

Related Items (8)

Unnamed Item ⋮ Unnamed Item ⋮ Specification of nonmonotonic reasoning ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ Autoepistemic answer set programming ⋮ Specification of nonmonotonic reasoning ⋮ Only persistence makes nonmonotonicity monotonous ⋮ Temporal Aspects of the Dynamics of Knowledge

Cites Work

• A logic for default reasoning
• Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
• Adding a temporal dimension to a logic system
• On the logic of theory change: Partial meet contraction and revision functions
• The complexity of propositional linear temporal logics
• Complexity Results for Nonmonotonic Logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Ground Nonmonotonic Modal Logics
• Specification of nonmonotonic reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimal temporal epistemic logic