scientific article; zbMATH DE number 4158604

zbMATH Open0706.03022MaRDI QIDQ3486547FDOQ3486547

Authors: Fahiem Bacchus, Josh Tenenberg, Johannes A. Koomen 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• A non-reified temporal logic
• Publication:4733377
• scientific article; zbMATH DE number 4119600
• scientific article; zbMATH DE number 22186
• Publication:4733378

zbMATH Keywords

artificial intelligencesemanticsautomated deductionsyntaxBTK logicnon-reified temporal logicreasoning about temporal truth valuessorted first-order logicSTL logic

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• A non-reified temporal logic
• Nonclausal deduction in first-order temporal logic
• A non-standard temporal deductive database system
• Non-associative Kleene Algebra and Temporal Logics
• A really temporal logic

This page was built for publication:

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