A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216): 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.3166/jancl.14.447-475
+Normal rank
@@ Property / OpenAlex ID @@
+W1981700262
@@ Property / OpenAlex ID: W1981700262 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression pattern matching for XML
@@ Property / cites work: Regular expression pattern matching for XML / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427171
@@ Property / cites work: Q4427171 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3647216