A modal proof theory for final polynomial coalgebras (Q2503317): 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.1016/j.tcs.2005.11.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2028958199
@@ Property / OpenAlex ID: W2028958199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4967703
@@ Property / cites work: Q4967703 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Henkin completeness theorem for T
@@ Property / cites work: A Henkin completeness theorem for T / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495853
@@ Property / cites work: Q4495853 / rank @@
+Normal rank
@@ Property / cites work @@
+What is the coalgebraic analogue of Birkhoff's variety theorem?
+Normal rank
@@ Property / cites work @@
+Q4460835
@@ Property / cites work: Q4460835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465440
@@ Property / cites work: Q5465440 / rank @@
+Normal rank
@@ Property / cites work @@
+Observational ultraproducts of polynomial coalgebras.
+Normal rank
@@ Property / cites work @@
+Final coalgebras and the Hennessy-Milner property
@@ Property / cites work: Final coalgebras and the Hennessy-Milner property / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of coalgebras via Galois algebras
+Normal rank
@@ Property / cites work @@
+Q4499308
@@ Property / cites work: Q4499308 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Q4738115
@@ Property / cites work: Q4738115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5332215
@@ Property / cites work: Q5332215 / rank @@
+Normal rank
@@ Property / cites work @@
+A small final coalgebra theorem
@@ Property / cites work: A small final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222950
@@ Property / cites work: Q4222950 / 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 @@
+On Some Completeness Theorems in Modal Logic
@@ Property / cites work: On Some Completeness Theorems in Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+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 / cites work @@
+Q5551146
@@ Property / cites work: Q5551146 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2503317