1346 search results - page 33 / 270 » Alternating-time dynamic logic |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
JOLLI
2002
13 years 7 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
LATA
2009
Springer
14 years 2 months ago
2009
Springer
LORI
2009
Springer
14 years 2 months ago
2009
Springer
