Results 1 
6 of
6
Logics for Reasoning about Cryptographic Constructions
 In Proc. 44th IEEE Symposium on Foundations of Computer Science
, 2003
"... We present two logical systems for reasoning about cryptographic constructions which are sound with respect to standard cryptographic definitions of security. Soundness of the first system is proved using techniques from nonstandard models of arithmetic. Soundness of the second system is proved by ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
We present two logical systems for reasoning about cryptographic constructions which are sound with respect to standard cryptographic definitions of security. Soundness of the first system is proved using techniques from nonstandard models of arithmetic. Soundness of the second system is proved by an interpretation into the first system. We also present examples of how these systems may be used to formally prove the correctness of some elementary cryptographic constructions.
The Nonmechanistic Character of Quantum Computation
, 1999
"... The higher than classical efficiency exhibited by some quantum algorithms is here ascribed to their nonmechanistic character, which becomes evident by joining the notions of entanglement and quantum measurement. Measurement analogically sets a (partial) constraint on the output of the computation o ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The higher than classical efficiency exhibited by some quantum algorithms is here ascribed to their nonmechanistic character, which becomes evident by joining the notions of entanglement and quantum measurement. Measurement analogically sets a (partial) constraint on the output of the computation of a hardtoreverse function. This constraint goes back in time along the reversible computation process, computing the reverse function, which yields quantum efficiency. The evolution, comprising wave function collapse (here a revamped notion), is nonmechanistic as it is driven by both an initial condition and a final constraint. It seems that the more the output is constrained by measurement, the higher can be the efficiency. Setting a complete constraint, by means of a special Zeno effect, yields (speculatively) NPcomplete=P. I.
Interpreting an action from what we perceive and what we expect
 Journal of Applied Nonclassical Logics
, 2007
"... ABSTRACT. In update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this pape ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
ABSTRACT. In update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent’s epistemic state based on hyperreal numbers. In that respect, we use infinitesimals to express what would surprise the agents (and by how much) by contradicting their beliefs. We also use a subjective probability to model the notion of belief. It turns out that our probabilistic update mechanism satisfies the AGM postulates of belief revision.
1. Are Virtual Learning Environments used to facilitate collaborative 5
, 2008
"... Selection of conference papers ..."
Microscopes and Telescopes for Theoretical Physics: How Rich Locally and Large Globally
"... One is reminded in this paper of the often overlooked fact that the geometric straight line, or GSL, of Euclidean geometry is not necessarily identical with its usual Cartesian coordinatisation given by the real numbers in R. Indeed, the GSL is an abstract idea, while the Cartesian, or for that matt ..."
Abstract
 Add to MetaCart
One is reminded in this paper of the often overlooked fact that the geometric straight line, or GSL, of Euclidean geometry is not necessarily identical with its usual Cartesian coordinatisation given by the real numbers in R. Indeed, the GSL is an abstract idea, while the Cartesian, or for that matter, any other specific coordinatisation of it is but one of the possible mathematical models chosen upon certain reasons. And as is known, there are a a variety of mathematical models of GSL, among them given by nonstandard analysis, reduced power algebras, the topological long line, or the surreal numbers, among others. As shown in this paper, the GSL can allow coordinatisations which are arbitrarily more rich locally and also more large globally, being given by corresponding linearly ordered sets of no matter how large cardinal. Thus one can obtain in relatively simple ways structures which are more rich locally and large globally than in nonstandard analy
unknown title
"... an essay review of Yet another introduction to analysis by Victor Bryant, (Cambridge ..."
Abstract
 Add to MetaCart
an essay review of Yet another introduction to analysis by Victor Bryant, (Cambridge