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

DOI10.1007/S10469-013-9235-8zbMath1315.03028OpenAlexW1969746263MaRDI QIDQ2434603

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)

Related Items (3)

The Došen square under construction: a tale of four modalities ⋮ On classical behavior of intuitionistic modalities ⋮ Some modal operators over intuitionistic logic

Cites Work

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

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