Relation-changing models meet paraconsistency
From MaRDI portal
Publication:6156935
DOI10.1016/J.JLAMP.2023.100870zbMATH Open1516.05214OpenAlexW4324366840MaRDI QIDQ6156935FDOQ6156935
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
Recommendations
Cites Work
- Modal logic
- Analysing inconsistent first-order knowledgebases
- On the expressivity of inconsistency measures
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- On the measure of conflicts: Shapley inconsistency values
- Title not available (Why is that?)
- Fixpoint semantics for logic programming a survey
- Modal logics of reactive frames
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- Many-valued hybrid logic
- Relation-changing modal operators: Fig. 1.
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Reversal fuzzy switch graphs
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
- Reactive models for biological regulatory networks
- Global view on reactivity: switch graphs and their logics
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
- Swap logic
- A note on reactive transitions and Reo connectors
- Paraconsistency in hybrid logic
- Introducing fuzzy reactive graphs: a simple application on biology
Cited In (2)
This page was built for publication: Relation-changing models meet paraconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156935)
