1588 search results - page 80 / 318 » On the Logic of Constitutive Rules |
133
click to vote
CEEMAS
2001
Springer
15 years 10 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
132
click to vote
LICS
1987
IEEE
15 years 9 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
178
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
167
click to vote
HIS
2003
15 years 7 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
161
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...