Negative modalities, consistency and determinedness

DOI10.1016/j.entcs.2013.12.010zbMath1337.03026OpenAlexW2087074734WikidataQ61593303 ScholiaQ61593303MaRDI QIDQ276032

João Marcos, Adriano Dodó

Publication date: 26 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.12.010

zbMATH Keywords

paraconsistencymodal logicsderivability adjustmentparacompleteness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Related Items (3)

Compositional meaning in logic ⋮ Sequent systems for negative modalities ⋮ Plug and Play Negations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Negation in the context of gaggle theory
• Combining possibilities and negations
• A new semantics for positive modal logic
• On negation: Pure local rules
• Positive modal logic
• A unified semantic framework for fully structural propositional sequent systems
• Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
• Automated Support for the Investigation of Paraconsistent and Other Logics
• Logics of Formal Inconsistency
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics

This page was built for publication: Negative modalities, consistency and determinedness