2529 search results - page 126 / 506 » The Logical Structure of Binding |
172
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
178
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
230
click to vote
SEBD
2003
15 years 8 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
190
click to vote
AAAI
1996
15 years 8 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
178
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...