On displaying negative modalities

DOI10.12775/LLP.2017.023MaRDI QIDQ4683222zbMATH OpenFDO

Authors Sergey Drobyshevich

Publication date 20 September 2018

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2017.023

zbMATH Keywords

bi-intuitionistic logicdecidabilitydisplay calculusdistributive logicimpossibilitynegative modalitiesunnecessity

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Substructural negations
• scientific article; zbMATH DE number 970628
• scientific article; zbMATH DE number 970627
• scientific article; zbMATH DE number 3884136
• Displaying and deciding substructural logics. I: Logics with contraposition

Cites work

• A bi-intuitionistic modal logic: foundations and automation
• A formalization of the propositional calculus of H-B logic
• Applications of Kripke models to Heyting-Brouwer logic
• Combining intuitionistic connectives and Routley negation
• Constructive negation, implication, and co-implication
• Constructive negations and paraconsistency
• Display logic
• Displaying and deciding substructural logics. I: Logics with contraposition
• Displaying modal logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Falsification, natural deduction and bi-intuitionistic logic
• Finite model property for negative modalities
• Generalized ortho negation
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• 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 5000988 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 970627 (Why is no real title available?)
• scientific article; zbMATH DE number 970628 (Why is no real title available?)
• scientific article; zbMATH DE number 966898 (Why is no real title available?)
• Models for normal intuitionistic modal logics
• Negation in the context of gaggle theory
• On classical behavior of intuitionistic modalities
• On modal logic with an intuitionistic base
• Positive modal logic
• Substructural negations
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)

Cited in

(4)

• Substructural negations
• Accentuate the negative
• scientific article; zbMATH DE number 970628 (Why is no real title available?)
• Substructural negations as normal modal operators

This page was built for publication: On displaying negative modalities

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