scientific article
From MaRDI portal
Publication:3486547
zbMATH Open0706.03022MaRDI QIDQ3486547
Fahiem Bacchus, Johannes A. Koomen, Josh Tenenberg
Publication date: 1989
Title of this publication is not available (Why is that?)
artificial intelligencesemanticssyntaxautomated deductionBTK logicnon-reified temporal logicreasoning about temporal truth valuessorted first-order logicSTL logic
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)
Related Items (3)
Non-associative Kleene Algebra and Temporal Logics ⋮ Title not available (Why is that?) ⋮ A non-standard temporal deductive database system
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)
