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

DOI10.1007/S10469-013-9235-8zbMATH Open1315.03028OpenAlexW1969746263MaRDI QIDQ2434603FDOQ2434603

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

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

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)

Cites Work

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

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)