2500 search results - page 17 / 500 » Logical Semantics of Modularisation |
190
click to vote
SLOGICA
2011
14 years 9 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
134
click to vote
ENTCS
2008
15 years 2 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
106
Voted
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...