3 search results - page 1 / 1 » Least and Greatest Fixpoints in Game Semantics |
FOSSACS
2009
Springer
14 years 1 months ago
2009
Springer
ENTCS
2010
13 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
IJCAI
2003
13 years 7 months ago
2003
Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...