500 search results - page 1 / 100 » Quantified Conditionals and Compositionality |
LLC
2010
13 years 5 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
14 years 2 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 11 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 11 months ago
2006
ACP is combined with Belnap's four-valued logic via conditional composition (if
IJCAI
2001
14 years 8 days 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...