Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464): Difference between revisions

@@ Property / cites work @@
+Models for stronger normal intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+A note on simplices as geometric configurations
@@ Property / cites work: A note on simplices as geometric configurations / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to default reasoning based on a first-order conditional logic: Revised report
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / 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 @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Modality and possibility in some intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive modal logics. I
@@ Property / cites work: Constructive modal logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218020
@@ Property / cites work: Q4218020 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank