The more common scheme to explain the classical limit of quantum mechanics includes decoherence, which removes from the state the interference terms classically inadmissible since embodying non-Booleanity. In this work we consider the classical limit from a logical viewpoint, as a quantum-to-Boolean transition. The aim is to open the door to a new study based on dynamical logics, that is, logics that change over time. In particular, we appeal to the notion of hybrid logics to describe semiclassical systems. Moreover, we (...) consider systems with many characteristic decoherence times, whose sublattices of properties become distributive at different times. (shrink)

In spite of being a well articulated proposal, the theory of quantum histories, in its different versions, suffers from certain difficulties that have been pointed out in the literature. Nevertheless, two facets of the proposal have not been sufficiently stressed. On the one hand, it is a non-collapse formalism that should be technically appropriate to supply descriptions based on quantum properties at different times. On the other hand, it intends to provide an interpretation of quantum mechanics that solves the traditional (...) puzzles of the theory. In this article we spell out the main criticisms to TQH and classify them into two groups: theoretical and interpretive. Whereas the latter might be ignored if the TQH were considered as a quantum formalism with its minimum interpretation, the former seems to point toward technical difficulties that must be faced in a theoretically adequate proposal. Precisely with the purpose of solving these difficulties, we introduce a different perspective, called Formalism of Generalized Contexts or Formalism of Contextual Histories, which supplies a precise condition for consistently talking of quantum properties at different times without the theoretical shortcomings of the TQH. (shrink)