Quantum logics are a type of non-classical logics which provide a model for the logic of quantum mechanics. It has been shown that the appropriate logics for this purpose are orthomodular lattices, the most natural abstraction from the set of subspaces of a Hilbert space. The main properties of those logical structures will be presented, including properties of compatibility relation, atomicity and of Boolean sublogics.