A Logic for Paraconsistent Transition Systems
A Logic for Paraconsistent Transition Systems
No Thumbnail Available
Date
2022
Authors
Cruz,A
Alexandre Castro Madeira
Luís Soares Barbosa