3658 search results - page 257 / 732 » The logic of proofs, semantically |
161
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
170
click to vote
IJSYSC
2006
15 years 6 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
194
click to vote
ENTCS
2007
15 years 6 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
194
click to vote
APAL
2004
15 years 6 months ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...