Intuitionistic hybrid logic (Q2506826): Difference between revisions

@@ Property / author @@
-V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / rank @@
-Normal rank
@@ Property / author @@
+V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / 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.1016/j.jal.2005.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W4213364810
@@ Property / OpenAlex ID: W4213364810 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56994536
@@ Property / Wikidata QID: Q56994536 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled propositional modal logics: theory and practice
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Natural Deduction for Hybrid Logic
@@ Property / cites work: Natural Deduction for Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two natural deduction systems for hybrid logic: A comparison
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394918
@@ Property / cites work: Q4394918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394920
@@ Property / cites work: Q4394920 / rank @@
+Normal rank
@@ Property / cites work @@
+ML systems: A proof theory for contexts
@@ Property / cites work: ML systems: A proof theory for contexts / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2506826