Shallow Models for Non-iterative Modal Logics.

Lutz Schröder Dirk Pattinson

Published in: KI (2008)

Keyphrases

modal logic
decision procedures
probabilistic model
temporal logic
inference rules
probabilistic reasoning