Relation-changing models meet paraconsistency

DOI10.1016/J.JLAMP.2023.100870MaRDI QIDQ6156935zbMATH OpenOpenAlexFDO

Authors 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)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2023.100870

zbMATH Keywords

switch graphs

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Graph theory (05C99)

Recommendations

• Global view on reactivity: switch graphs and their logics
• SWITCHING GRAPHS
• Switching graphs
• Reactive Kripke semantics
• Relation-changing modal operators

Cites work

• A note on reactive transitions and Reo connectors
• Analysing inconsistent first-order knowledgebases
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Fixpoint semantics for logic programming a survey
• Global view on reactivity: switch graphs and their logics
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• Introducing fuzzy reactive graphs: a simple application on biology
• Many-valued hybrid logic
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Mechanizing Mathematical Reasoning
• Modal logic
• Modal logics of reactive frames
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic
• On the expressivity of inconsistency measures
• On the measure of conflicts: Shapley inconsistency values
• Paraconsistency in hybrid logic
• Reactive models for biological regulatory networks
• Relation-changing modal operators
• Reversal fuzzy switch graphs
• Sabotage modal logic: some model and proof theoretic aspects
• Swap logic

Cited in

(3)

• scientific article; zbMATH DE number 1290260 (Why is no real title available?)
• Logic and calculi for all on the occasion of Luís Barbosa's 60th birthday
• Graded relation updates in modal logic

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)