3658 search results - page 106 / 732 » The logic of proofs, semantically |
174
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
163
click to vote
AIIA
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...
161
click to vote
TYPES
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
149
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
140
click to vote
CALCO
2007
Springer
16 years 15 days ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...