On dynamic topological and metric logics (Q865049): Difference between revisions

@@ Property / author @@
+Boris Konev
@@ Property / author: Boris Konev / rank @@
+Normal rank
@@ Property / author @@
+Roman Kontchakov
@@ Property / author: Roman Kontchakov / rank @@
+Normal rank
@@ Property / author @@
+Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62048646
@@ Property / Wikidata QID: Q62048646 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-006-9005-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1966660950
@@ Property / OpenAlex ID: W1966660950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100724
@@ Property / cites work: Q4100724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Non-primitive recursive decidability of products of modal logics with expanding domains
+Normal rank
@@ Property / cites work @@
+Q5715695
@@ Property / cites work: Q5715695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840149
@@ Property / cites work: Q4840149 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic topological logic
@@ Property / cites work: Dynamic topological logic / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552484
@@ Property / cites work: Q4552484 / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931654
@@ Property / cites work: Q3931654 / rank @@
+Normal rank