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

@@ Property / author @@
-Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ 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.2307/2275807
@@ Property / full work available at URL: https://doi.org/10.2307/2275807 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2022355674
@@ Property / OpenAlex ID: W2022355674 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3128464