DeepAI AI Chat

A Logic for Paraconsistent Transition Systems

04/14/2022

∙

by Ana Cruz, et al.

∙

∙

Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.

Ana Cruz
1 publication
Alexandre Madeira
3 publications
Luís Soares Barbosa
3 publications

page 1

page 2

page 3

page 4

∙ 10/05/2020

Quantum Computational Psychoanalysis – Quantum logic approach to Bi-logic

In this paper, we are dealing with the fundamental concepts of Bi-logic ...

0 Maksim Tomic, et al. ∙

∙ 07/11/2019

From Hybrid Modal Logic to Matching Logic and back

Building on our previous work on hybrid polyadic modal logic we identify...

0 Ioana Leustean, et al. ∙

∙ 05/16/2019

Bisimulation Invariant Monadic-Second Order Logic in the Finite

We consider bisimulation-invariant monadic second-order logic over vario...

0 Achim Blumensath, et al. ∙

∙ 12/10/2020

On Coalgebraic Many-Valued Modal Logic

In this paper, we investigate the many-valued version of coalgebraic mod...

0 Chun-Yu Lin, et al. ∙

∙ 10/10/2018

A van Benthem Theorem for Quantitative Probabilistic Modal Logic

In probabilistic transition systems, behavioural metrics provide a more ...

0 Paul Wild, et al. ∙

∙ 03/20/2013

Compressed Constraints in Probabilistic Logic and Their Revision

In probabilistic logic entailments, even moderate size problems can yiel...

0 Paul Snow, et al. ∙