Negative modalities, consistency and determinedness

DOI10.1016/J.ENTCS.2013.12.010MaRDI QIDQ276032zbMATH OpenOpenAlexWikidataFDO

Authors Adriano Dodó, João Marcos

Publication date 26 April 2016

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

zbMATH Keywords

derivability adjustmentmodal logicsparacompletenessparaconsistency

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6863659
• scientific article; zbMATH DE number 3884136
• Sequent systems for negative modalities
• scientific article; zbMATH DE number 4016862
• Paraconsistent logic from a modal viewpoint

Cites work

• A new semantics for positive modal logic
• A unified semantic framework for fully structural propositional sequent systems
• Automated support for the investigation of paraconsistent and other logics
• Combining possibilities and negations
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• Logics of formal inconsistency
• Modular construction of cut-free sequent calculi for paraconsistent logics
• Nearly every normal modal logic is paranormal
• Negation in the context of gaggle theory
• On negation: Pure local rules
• Positive modal logic
• The connectives

Cited in

(10)

• Compositional meaning in logic
• Sequent systems for negative modalities
• There is more to negation than modality
• scientific article; zbMATH DE number 4016862 (Why is no real title available?)
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• Plug and Play Negations
• Negative modalities in the light of paraconsistency
• On logics of perfect paradefinite algebras
• Semantical investigations on non-classical logics with recovery operators: negation
• Nested sequent calculi for some modal logics with non-standard modalities

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q276032)