8232 search results - page 91 / 1647 » Dynamic Logic Programming |
138
Voted
CAEPIA
2009
Springer
15 years 3 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
179
click to vote
LORI
2009
Springer
15 years 9 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
122
Voted
JOLLI
2010
15 years 1 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
92
Voted
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
