Relation-changing models meet paraconsistency
From MaRDI portal
Publication:6156935
DOI10.1016/j.jlamp.2023.100870zbMath1516.05214OpenAlexW4324366840MaRDI QIDQ6156935
Diana Costa, Daniel R. Figueiredo, Manuel A. Martins
Publication date: 19 June 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100870
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the expressivity of inconsistency measures
- On the measure of conflicts: Shapley inconsistency values
- Fixpoint semantics for logic programming a survey
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Global view on reactivity: switch graphs and their logics
- A note on reactive transitions and Reo connectors
- Reversal fuzzy switch graphs
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
- Introducing fuzzy reactive graphs: a simple application on biology
- Modal logics of reactive frames
- Analysing inconsistent first-order knowledgebases
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Paraconsistency in hybrid logic
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
- Many-valued hybrid logic
- Relation-changing modal operators: Fig. 1.
- Swap logic
- Mechanizing Mathematical Reasoning
- Reactive models for biological regulatory networks
This page was built for publication: Relation-changing models meet paraconsistency
