Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847): 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/978-3-642-35722-0_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2226235891
@@ Property / OpenAlex ID: W2226235891 / 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 @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages for topology: expressivity and definability
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Topological reasoning and the logic of knowledge
@@ Property / cites work: Topological reasoning and the logic of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological model theory
@@ Property / cites work: Topological model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Updating knowledge using subsets
@@ Property / cites work: Updating knowledge using subsets / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid logic for reasoning about knowledge and topology
+Normal rank
@@ Property / cites work @@
+Characterizing Certain Topological Specifications
@@ Property / cites work: Characterizing Certain Topological Specifications / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455847