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)

Full work available at URL https://doi.org/10.1017/S0960129525100170

zbMATH Keywords

bisimulationmodal logicparaconsistent logicparaconsistent transition systemssimulation

Mathematics Subject Classification ID

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

Cites work

• A fuzzy modal logic for fuzzy transition systems
• A Hennessy-Milner property for many-valued modal logics
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• A logic for paraconsistent transition systems
• An exercise on the generation of many-valued dynamic logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Coalgebraic infinite traces and Kleisli simulations
• Decidability of order-based modal logics
• Foundations of algebraic specification and formal software development.
• Frame definability in finitely valued modal logics
• Hennessy-Milner theorems via Galois connections
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On extensions of intermediate logics by strong negation
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Paraconsistent ideas in quantum logic
• Paraconsistent Machines and their Relation to Quantum Computing
• Paraconsistent Transition Systems
• Physics, inconsistency, and quasi-truth
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Propositional calculus for contradictory deductive systems
• Standard Gödel modal logics
• Structured specification of paraconsistent transition systems
• Towards paraconsistent engineering

Cited in

(1)

• Paraconsistent relations as a variant of Kleene algebras

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)