Login / Signup
A Hennessy-Milner Property for Many-Valued Modal Logics.
Michel Marti
George Metcalfe
Published in:
Advances in Modal Logic (2014)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
situation calculus
epistemic logic
artificial intelligence
satisfiability problem
theorem proving
default logic