On Displaying Negative Modalities

DOI10.12775/LLP.2017.023zbMath1456.03036MaRDI QIDQ4683222

Sergey Drobyshevich

Publication date: 20 September 2018

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

zbMATH Keywords

decidabilitybi-intuitionistic logicimpossibilitydisplay calculusdistributive logicnegative modalitiesunnecessity

Mathematics Subject Classification ID

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

Cites Work

• A bi-intuitionistic modal logic: foundations and automation
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Negation in the context of gaggle theory
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Combining intuitionistic connectives and Routley negation
• Finite model property for negative modalities
• Constructive negations and paraconsistency
• Models for normal intuitionistic modal logics
• Applications of Kripke models to Heyting-Brouwer logic
• On modal logic with an intuitionistic base
• Displaying and deciding substructural logics. I: Logics with contraposition
• Displaying modal logic
• Display logic
• A formalization of the propositional calculus of H-B logic
• Positive modal logic
• Falsification, natural deduction and bi-intuitionistic logic
• On classical behavior of intuitionistic modalities
• Constructive negation, implication, and co-implication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item