3658 search results - page 261 / 732 » The logic of proofs, semantically |
167
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
211
click to vote
CLIMA
2006
15 years 8 months ago
2006
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
192
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
154
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...