A logic for paraconsistent transition systems - Ana Cruz (2022)