Intuitionistic hybrid logic: introduction and survey (Q764256): 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.1016/j.ic.2011.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2004627140
@@ Property / OpenAlex ID: W2004627140 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Arthur Prior and hybrid logic
@@ Property / cites work: Arthur Prior and hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Actions Over a Constructive Semantics for Description Logics
+Normal rank
@@ Property / cites work @@
+Natural Deduction for Hybrid Logic
@@ Property / cites work: Natural Deduction for Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction for first-order hybrid logic
@@ Property / cites work: Natural deduction for first-order hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for classical, intuitionistic, and paraconsistent hybrid logic
+Normal rank
@@ Property / cites work @@
+Hybrid logic and its proof-theory
@@ Property / cites work: Hybrid logic and its proof-theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic hybrid logic
@@ Property / cites work: Intuitionistic hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+MIPC as the formalisation of an intuitionist concept of modality
+Normal rank
@@ Property / cites work @@
+A Hybrid Intuitionistic Logic: Semantics and Decidability
+Normal rank
@@ Property / cites work @@
+Intuitionistic tense and modal logic
@@ Property / cites work: Intuitionistic tense and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022223
@@ Property / cites work: Q4022223 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Labelled Calculi for Łukasiewicz Logics
@@ Property / cites work: Labelled Calculi for Łukasiewicz Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A family of Gödel hybrid logics
@@ Property / cites work: A family of Gödel hybrid logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi and decidability for intuitionistic hybrid logic
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086942
@@ Property / cites work: Q3086942 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3472079
@@ Property / cites work: Q3472079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3864488
@@ Property / cites work: Q3864488 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:764256