Expressive logics for coalgebras via terminal sequence induction (Q558417): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B20
@@ Property / Mathematics Subject Classification ID: 18B20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q65
@@ Property / Mathematics Subject Classification ID: 68Q65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2186734
@@ Property / zbMATH DE Number: 2186734 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebraic behavioral equivalence
@@ Property / zbMATH Keywords: coalgebraic behavioral equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebraic modal logic
@@ Property / zbMATH Keywords: coalgebraic modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebras
@@ Property / zbMATH Keywords: coalgebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+predicate liftings
@@ Property / zbMATH Keywords: predicate liftings / rank @@
+Normal rank

Revision as of 14:18, 1 July 2023