A Road to Ultrafilter Extensions (Q3305690): Difference between revisions

@@ Property / cites work @@
+Neighbourhood Contingency Bisimulation
@@ Property / cites work: Neighbourhood Contingency Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical modal logics and ultrafilter extensions
@@ Property / cites work: Canonical modal logics and ultrafilter extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on modal definability
@@ Property / cites work: Notes on modal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Neighborhood Contingency Logic
@@ Property / cites work: Neighborhood Contingency Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636292
@@ Property / cites work: Q4636292 / rank @@
+Normal rank
@@ Property / cites work @@
+CONTINGENCY AND KNOWING WHETHER
@@ Property / cites work: CONTINGENCY AND KNOWING WHETHER / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075436
@@ Property / cites work: Q4075436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088789
@@ Property / cites work: Q4088789 / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+The logic of non-contingency
@@ Property / cites work: The logic of non-contingency / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal non-contingency logic
@@ Property / cites work: Minimal non-contingency logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrafilter Extensions of Models
@@ Property / cites work: Ultrafilter Extensions of Models / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank