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...

Binarizing belief aggregation addresses how to rationally aggregate individual probabilistic beliefs into collective binary beliefs. Similar the development of judgment theory, formulating axiomatic requirements, proving impossibility theorems, and identifying exact agenda conditions theorems are natural important research topics in binarizing aggregation. Building on our previous we use an age...

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...

This paper is an axiomatic study of consistent approval-based committee (ABC) rules. These are multi-winner voting rules that select a committee, i.e., fixed-size group candidates, based on approval ballots. We introduce the class ABC scoring and provide characterization this consistency axiom. Building upon result, we axiomatically characterize three important rules: Proportional Approval Voti...

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...