Paraconsistent transition structures: compositional principles and a modal logic

DOI10.1017/S0960129525100170MaRDI QIDQ6939158zbMATH OpenFDO

Authors Juliana Cunha, Alexandre Madeira, L. S. Barbosa

Publication date 22 August 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

simulationmodal logicparaconsistent logicbisimulationparaconsistent transition systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

This page was built for publication: Paraconsistent transition structures: compositional principles and a modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6939158)