Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2008.05.025
@@ Property / DOI: 10.1016/j.entcs.2008.05.025 / rank @@
-Normal rank
@@ Property / author @@
-Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
-Normal rank
@@ Property / author @@
+Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
+Normal rank
@@ 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.1016/j.entcs.2008.05.025
+Normal rank
@@ Property / OpenAlex ID @@
+W1965466569
@@ Property / OpenAlex ID: W1965466569 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527392
@@ Property / cites work: Q4527392 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Equational Systems and Free Constructions (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+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 @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic of finite rank
@@ Property / cites work: Coalgebraic modal logic of finite rank / rank @@
+Normal rank
@@ Property / cites work @@
+The Goldblatt-Thomason Theorem for Coalgebras
@@ Property / cites work: The Goldblatt-Thomason Theorem for Coalgebras / rank @@
+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 @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2008.05.025
@@ Property / DOI: 10.1016/J.ENTCS.2008.05.025 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2873668