Publications

A Logic for Paraconsistent Transition Systems

AuthID
P-00W-FMR

Author(s)

Cruz, A

Madeira, A

Barbosa, LS

Editor(s)

Indrzejczak,A;Zawidzki,M

Document Type

Proceedings Paper

Year published

2022

Published in

10Th International Conference on Non-Classical Logics. Theory and Applications, Ncl 2022 in: Proceedings of the 10Th International Conference on Non-Classical Logics. Theory and Applications, Ncl 2022, Łódź, Poland, 14-18 March 2022., 14 March 2022 through 18 March 2022

Volume 358, Pages 270-284

Book Series: EPTCS

Indexing