A non-reified temporal logic

DOI10.1016/0004-3702(91)90025-FMaRDI QIDQ1190791zbMATH OpenOpenAlexFDO

Authors Fahiem Bacchus, Josh Tenenberg, 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 theoryaxiomatizationtemporal logictemporal propositions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4158604
• Reified temporal logics: An overview
• The temporal logic of branching time
• scientific article; zbMATH DE number 22186
• scientific article; zbMATH DE number 4119600

Cites work

• scientific article; zbMATH DE number 3786157 (Why is no real title available?)
• scientific article; zbMATH DE number 43237 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• A propositional modal logic of time intervals
• Infinitary logic and admissible sets
• Logic of many-sorted theories
• Maintaining knowledge about temporal intervals
• Reasoning about recurrence
• Temporal logics in AI: semantical and ontological considerations
• Towards a general theory of action and time

Cited in

(12)

• Cost-based temporal reasoning
• Reified temporal logics: An overview
• scientific article; zbMATH DE number 7723711 (Why is no real title available?)
• Operators vs. arguments: The ins and outs of reification
• Nonclausal deduction in first-order temporal logic
• Temporal representation and reasoning in artificial intelligence: A review
• A non-standard temporal deductive database system
• Time representation: A taxonomy of temporal models
• Non-associative Kleene Algebra and Temporal Logics
• The token reification approach to temporal reasoning
• scientific article; zbMATH DE number 4158604 (Why is no real title available?)
• A really temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190791)