On some intuitionistic modal logics (Q1244216): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2977/prims/1195189604
+Normal rank
@@ Property / OpenAlex ID @@
+W2031349440
@@ Property / OpenAlex ID: W2031349440 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal extension of intuitionist logic
@@ Property / cites work: A modal extension of intuitionist logic / rank @@
+Normal rank
@@ Property / cites work @@
+MIPC as the formalisation of an intuitionist concept of modality
+Normal rank
@@ Property / cites work @@
+Q5793835
@@ Property / cites work: Q5793835 / rank @@
+Normal rank
@@ Property / cites work @@
+Model existence theorems for modal and intuitionistic logics
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241192
@@ Property / cites work: Q3241192 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of intermediate predicate logics
@@ Property / cites work: A study of intermediate predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / 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 @@
+On logics intermediate between intuitionistic and classical predicate logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1244216