Propositional Abduction via Only-Knowing: A Non-Monotonic Approach. - Sanderson Molick; Vaishak Belle (ICLP, 2025)