4978 search results - page 266 / 996 » Logical models of argument |
152
Voted
CHES
2006
Springer
15 years 9 months ago
2006
Springer
Recent research has shown that cryptographers with glitches are vulnerable in front of Side Channel Attacks (SCA). Since then, several methods, such as Wave Dynamic Differential Lo...
170
click to vote
AIML
2004
15 years 7 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...
147
click to vote
SLP
1997
15 years 7 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
196
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
184
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...