Temporal theories of reasoning

DOI10.1080/11663081.1995.10510845zbMath0849.03018OpenAlexW4229671829MaRDI QIDQ4835517

Jan Treur, Joeri Engelfriet

Publication date: 5 March 1996

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1995.10510845

zbMATH Keywords

temporal logicnonmonotonic reasoningdefault reasoningmeta-level architecturepartial temporal modeltemporal interpretationclassical proof systemdynamics of reasoningtemporal axiomatizationstemporal partial logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Cites Work

• A logic for default reasoning
• Prolegomena to a theory of mechanized formal reasoning
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Adding a temporal dimension to a logic system
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal theories of reasoning