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

@@ Property / DOI @@
-.1305/ndjfl/1094155277
@@ Property / DOI: 10.1305/ndjfl/1094155277 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1094155277
+Normal rank
@@ Property / OpenAlex ID @@
+W2060917500
@@ Property / OpenAlex ID: W2060917500 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying coalgebras with modal logic
@@ Property / cites work: Specifying coalgebras with modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762529
@@ Property / cites work: Q2762529 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Q4499303
@@ Property / cites work: Q4499303 / rank @@
+Normal rank
@@ Property / cites work @@
+From modal logic to terminal coalgebras
@@ Property / cites work: From modal logic to terminal coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1305/NDJFL/1094155277
@@ Property / DOI: 10.1305/NDJFL/1094155277 / rank @@
+Normal rank