2500 search results - page 17 / 500 » Logical Semantics of Modularisation |
153
click to vote
SLOGICA
2011
14 years 5 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...
FUIN
2007
14 years 10 months ago
2007
FUIN
2007
14 years 10 months ago
2007
ENTCS
2008
14 years 10 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...
LICS
1994
IEEE
15 years 2 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...