887 search results - page 114 / 178 » A Science of Reasoning |
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Ī 0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
ENTCS
2002
13 years 8 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
ICDM
2005
IEEE
14 years 2 months ago
2005
IEEE
It is estimated that ninety percent of the worldās species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present decidability results for the veriļ¬cation of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...