17054 search results - page 255 / 3411 » Logics of Dynamical Systems |
193
click to vote
CORR
2007
Springer
15 years 7 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...
203
click to vote
JSYML
2002
15 years 6 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
193
click to vote
AIML
2004
15 years 8 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
169
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
518
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.