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