Modal Tableaux: Completeness vs. Termination.

Luis Fariñas del Cerro Olivier Gasquet Andreas Herzig Mohamad Sahade

Published in: We Will Show Them! (1) (2005)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
term rewriting
nonmonotonic logics
rewrite systems
default logic
data quality
situation calculus
multiscale
probabilistic model
hidden markov models
special case
multi agent
modal operators
real world