2573 search results - page 66 / 515 » Combinations of Modal Logics |
MLQ
2010
15 years 2 months ago
2010
69
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
132
click to vote
INFORMATICALT
2007
15 years 3 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
111
click to vote
ICALP
2010
Springer
15 years 5 months 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...