A non-reified temporal logic

DOI10.1016/0004-3702(91)90025-FzbMath0762.03009OpenAlexW2110415540MaRDI QIDQ1190791

Josh Tenenberg, Fahiem Bacchus, Johannes A. Koomen

Publication date: 26 September 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(91)90025-f

zbMATH Keywords

proof theorytemporal logicaxiomatizationtemporal propositions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (5)

Time representation: A taxonomy of temporal models ⋮ Operators vs. arguments: The ins and outs of reification ⋮ The token reification approach to temporal reasoning ⋮ Cost-based temporal reasoning ⋮ Temporal representation and reasoning in artificial intelligence: A review

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Towards a general theory of action and time
• Temporal logics in AI: semantical and ontological considerations
• Reasoning about recurrence
• A propositional modal logic of time intervals
• Infinitary logic and admissible sets
• Logic of many-sorted theories

This page was built for publication: A non-reified temporal logic