scientific article; zbMATH DE number 1453075

MaRDI QIDQ4955348zbMATH OpenFDO

Authors David Allen McAllester

Publication date 18 December 2000

zbMATH Keywords

world-axiomatizingworld-modeling

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Artificial intelligence for robotics (68T40)

Recommendations

• Naming worlds in modal and temporal logic
• Generic and nongeneric world models
• Construction of universal modal worlds based on hyperset theory
• Modal logic with bounded quantification over worlds
• Models, semantics and logical truth
• Axiomatization and models of scientific theories
• scientific article; zbMATH DE number 4087631
• scientific article; zbMATH DE number 4135913
• On modal facts in possible worlds

Cited in

(2)

• A Complete Axiomatization for Blocks World
• Before we can find a model, we must forget about perfection

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 Q4955348)