On a categorical framework for coalgebraic modal logic (Q283748): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2014.10.007
@@ Property / DOI: 10.1016/j.entcs.2014.10.007 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6580854
@@ Property / zbMATH DE Number: 6580854 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+predicate liftings
@@ Property / zbMATH Keywords: predicate liftings / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebras
@@ Property / zbMATH Keywords: coalgebras / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebraic logic
@@ Property / zbMATH Keywords: coalgebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Stone duality
@@ Property / zbMATH Keywords: Stone duality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositionality
@@ Property / zbMATH Keywords: compositionality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+expressivity
@@ Property / zbMATH Keywords: expressivity / 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.2014.10.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2055999172
@@ Property / OpenAlex ID: W2055999172 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317848
@@ Property / Wikidata QID: Q113317848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+On final coalgebras of continuous functors
@@ Property / cites work: On final coalgebras of continuous functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Modular construction of complete coalgebraic logics
+Normal rank
@@ Property / cites work @@
+On the Fusion of Coalgebraic Logics
@@ Property / cites work: On the Fusion of Coalgebraic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Exemplaric Expressivity of Modal Logics
@@ Property / cites work: Exemplaric Expressivity of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419889
@@ Property / cites work: Q5419889 / 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 @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in the Stone age: a comparison of coalgebraic logics
+Normal rank
@@ Property / cites work @@
+Presenting functors on many-sorted varieties and applications
+Normal rank
@@ Property / cites work @@
+Strongly Complete Logics for Coalgebras
@@ Property / cites work: Strongly Complete Logics for Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Liftings Versus Nabla Modalities
@@ Property / cites work: Predicate Liftings Versus Nabla Modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
+Normal rank
@@ Property / cites work @@
+Equational presentations of functors and monads
@@ Property / cites work: Equational presentations of functors and monads / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2014.10.007
@@ Property / DOI: 10.1016/J.ENTCS.2014.10.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:283748