The Došen square under construction: a tale of four modalities (Q2142095): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-86059-2_26
+Normal rank
@@ Property / OpenAlex ID @@
+W3197862441
@@ Property / OpenAlex ID: W3197862441 / rank @@
+Normal rank
@@ Property / cites work @@
+On Nested Sequents for Constructive Modal Logics
@@ Property / cites work: On Nested Sequents for Constructive Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on modal sequent logic
@@ Property / cites work: A perspective on modal sequent logic / rank @@
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Founded and Partial Stable Semantics Logical Aspects
+Normal rank
@@ Property / cites work @@
+Intuitionistic non-normal modal logics: a general framework
+Normal rank
@@ Property / cites work @@
+Q2715517
@@ Property / cites work: Q2715517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3218105
@@ Property / cites work: Q3218105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028968
@@ Property / cites work: Q3028968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite model property for negative modalities
@@ Property / cites work: Finite model property for negative modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of an intuitionistic negation and negative modalities as a necessity operator
+Normal rank
@@ Property / cites work @@
+On classical behavior of intuitionistic modalities
+Normal rank
@@ Property / cites work @@
+Q2751047
@@ Property / cites work: Q2751047 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in the context of gaggle theory
@@ Property / cites work: Negation in the context of gaggle theory / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4285787
@@ Property / cites work: Q4285787 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards constructive DL for abstraction and refinement
+Normal rank
@@ Property / cites work @@
+Cut-free Gentzen calculus for multimodal CK
@@ Property / cites work: Cut-free Gentzen calculus for multimodal CK / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Interpretation of CKn for Contextual Information Processing
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Routley star and hyperintensionality
@@ Property / cites work: Routley star and hyperintensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Combining intuitionistic connectives and Routley negation
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of Kripke-type models for some modal logics by Gentzen's sequential method
+Normal rank
@@ Property / cites work @@
+Negation as a modality in a quantified setting
@@ Property / cites work: Negation as a modality in a quantified setting / rank @@
+Normal rank
@@ Property / cites work @@
+On Split Negation, Strong Negation, Information, Falsification, and Verification
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942002
@@ Property / cites work: Q4942002 / rank @@
+Normal rank