PLQP & Company: Decidable Logics for Quantum Algorithms