A logic for paraconsistent transition systems
From MaRDI portal
Publication:6659915
DOI10.4204/eptcs.358.20MaRDI QIDQ6659915
Alexandre Madeira, Unnamed Author, Luís Soares Barbosa
Publication date: 9 January 2025
This page was built for publication: A logic for paraconsistent transition systems