scientific article; zbMATH DE number 1453075

zbMATH Open0951.68536MaRDI QIDQ4955348FDOQ4955348

Authors: David Allen McAllester 

Publication date: 18 December 2000

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

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
• On modal facts in possible worlds

zbMATH Keywords

world-axiomatizingworld-modeling

Mathematics Subject Classification ID

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

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)