504 search results - page 34 / 101 » Reasoning about local properties in modal logic |
111
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
121
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
158
Voted
VVEIS
2007
15 years 3 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
116
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
104
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...