There are many different types of time keeping devices. We use the phrase ticking clock to describe those which -- simply put "tick" at approximately regular intervals. Various important results have been derived for clocks, and more in pipeline. It is thus understand underlying models on these founded. The aim this paper introduce a new model from axiomatic principles that overcomes concerns c...

In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular properties such as transitivity, Euclideanness and functionality, to decidable logics. The goal of the axiomatic translation principle is to find simplified theories, which capture the inference problems in the original theory...

Iterative optimization of quantum error correcting codes. Phys. Rev. Lett. 94(2005) Excerpts in: G. Ludwig: An Axiomatic basis for quantum mechanics, vol. 2: quantum A quantum dynamical approach to matrix khrushchev's formulas. We present an error-correcting interpolation algorithm for a univariate Sparse polynomial interpolation codes and their decoding beyond half the minimum distance. We pre...

The aim of the following lecture is to give some rough overview over most essential structures underlying all working quantum theoretical models as well as axiomatic and algebraic quantum field theory. Before specializing to ordinary Hilbert space quantum theory it will be explained why common sense reasoning cannot be applied naively and the pragmatic procedure (quantum reasoning) of getting a...

Interval Temporal Logics over infinite intervals are studied. First, the ordinary possible worlds models are extended to infinite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, infinite intervals are included in a logic over abstract intervals. A corresponding axiomatic system is given and proven to be complete also.

The birth, raise, development and fortunes of a fundamental theory in thermodynamics, the axiomatic thermodynamics, a creation of Constantin Carathéodory, is thoroughly presented together with a summary of Carathéodory’s biography. Axiomatic thermodynamics is centered around some interesting properties of Pfaffian differential equations, which are here introduced and used for some well-known ca...