3 search results - page 1 / 1 » A Generic Complete Dynamic Logic for Reasoning About Purity ... |
FASE
2008
Springer
13 years 6 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
FOSSACS
2004
Springer
13 years 9 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...