500 search results - page 1 / 100 » Quantified Conditionals and Compositionality |
LLC
2010
12 years 11 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
ESORICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
CADE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
ENTCS
2006
13 years 4 months ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
IJCAI
2001
13 years 6 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...