Proof Systems for a Gödel Modal Logic.

George Metcalfe Nicola Olivetti

Published in: TABLEAUX (2009)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
expert systems
management system
distributed systems
computer systems
situation calculus
default logic
nonmonotonic logics
conditional logic
explanation based generalization