scientific article; zbMATH DE number 4158604

MaRDI QIDQ3486547zbMATH OpenFDO

Authors Fahiem Bacchus, Josh Tenenberg, Johannes A. Koomen

Publication date 1989

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)

Recommendations

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

Cited in

(6)

• scientific article; zbMATH DE number 7723711 (Why is no real title available?)
• A non-standard temporal deductive database system
• Nonclausal deduction in first-order temporal logic
• A really temporal logic
• Non-associative Kleene Algebra and Temporal Logics
• A non-reified 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)