Composition of an intuitionistic negation and negative modalities as a necessity operator

DOI10.1007/S10469-013-9235-8MaRDI QIDQ2434603zbMATH OpenOpenAlexFDO

Authors Sergey Drobyshevich

Publication date 6 February 2014

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-013-9235-8

zbMATH Keywords

decidabilityfinite model propertynecessity operatorintuitionistic negationnegative modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3884137
• scientific article; zbMATH DE number 3884136
• Double negation operator in logic \(N^*\)
• On classical behavior of intuitionistic modalities
• Negation in the light of modal logic

Cites work

• 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?)
• A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
• Combining intuitionistic connectives and Routley negation
• Contraction-free sequent calculi for intuitionistic logic
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Models for normal intuitionistic modal logics
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• The Semantics of First Degree Entailment

Cited in

(4)

• The Došen square under construction: a tale of four modalities
• Double negation operator in logic \(N^*\)
• Some modal operators over intuitionistic logic
• On classical behavior of intuitionistic modalities

This page was built for publication: Composition of an intuitionistic negation and negative modalities as a necessity operator

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