144 search results - page 1 / 29 » Complexity Results for Modal Dependence Logic |
CSL
2010
Springer
14 years 1 hour ago
2010
Springer
Modal dependence logic was introduced very recently by V
TARK
2005
Springer
14 years 4 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
FOSSACS
2006
Springer
14 years 2 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
LOGCOM
2006
13 years 10 months ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
ICALP
2010
Springer
14 years 26 days ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...