Composition of an intuitionistic negation and negative modalities as a necessity operator
From MaRDI portal
Publication:2434603
DOI10.1007/S10469-013-9235-8zbMath1315.03028OpenAlexW1969746263MaRDI QIDQ2434603
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
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