802 search results - page 3 / 161 » On the formal semantics of IF-like logics |
FMCAD
2008
Springer
13 years 7 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
ISMVL
2007
IEEE
14 years 1 days ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
AMSTERDAM
2009
13 years 3 months ago
2009
In this paper I describe a formal semantics for iconic spatial gestures. My claim is that the meaning of iconic gestures can be captured with an appropriate mathematical theory of ...
IJIS
2002
13 years 5 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
EUSFLAT
2007
13 years 7 months ago
2007
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...