Modal Logic as a Design Notation.

Carlos Areces Miguel Felder Dan Hirsch Daniel Yankelevich

Published in: IWSSD (1998)

Keyphrases

modal logic
temporal logic
knowledge based systems
design process
case study
database applications
situation calculus
nonmonotonic logics