3 search results - page 1 / 1 » Least and Greatest Fixpoints in Game Semantics |
63
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
103
Voted
ENTCS
2010
14 years 10 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...
117
Voted
IJCAI
2003
15 years 2 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...