A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic. - Pablo Caballero; Pablo Valencia (J. Philos. Log., 2024)