Modal propositional logic; Modal predicate logic; A survey of modal logic.

Provability, Computability and Reflection.

Given a physical system, one knows that there is a logical duality between its properties and its states. In this paper, we choose its states as the undefined notions of our axiomatic construction. In fact, by means of well-motivated assumptions expressed in terms of a transition probability function defined on the set of all pure states of the system, we construct a system of elementary propositions, i.e., a complete orthomodular atomic lattice satisfying the covering law. We also study in this (...) framework the important notion of compatibility of propositions, and we define the superpositions and the mixtures of the states of the physical system. (shrink)