A Semantical Analysis of Second-Order Propositional Modal Logic.

Francesco Belardinelli Wiebe van der Hoek

Published in: AAAI (2016)

Keyphrases

modal logic
data analysis
default logic
classical logic
autoepistemic logic
prime implicates
expert systems
probability distribution
knowledge representation
inference rules
situation calculus
decision procedures