Hybrid logics of separation axioms (Q1047799): 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.1007/s10849-009-9091-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2058617692
@@ Property / OpenAlex ID: W2058617692 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Space: The Modal Way
@@ Property / cites work: Reasoning About Space: The Modal Way / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Completeness of S4 with respect to the real line: revisited
+Normal rank
@@ Property / cites work @@
+Resolvability: A selective survey and some new results
+Normal rank
@@ Property / cites work @@
+Modal languages for topology: expressivity and definability
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Modal Logics with Difference Modality
@@ Property / cites work: Topological Modal Logics with Difference Modality / rank @@
+Normal rank
@@ Property / cites work @@
+Topological modal logic of $ \mathbb R$ with inequality
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q3509061
@@ Property / cites work: Q3509061 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal logics of products of topologies
@@ Property / cites work: Multimodal logics of products of topologies / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1047799