Modalities in the Stone age: a comparison of coalgebraic logics (Q418820): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2012.03.027
@@ Property / DOI: 10.1016/j.tcs.2012.03.027 / 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 @@
+6039193
@@ Property / zbMATH DE Number: 6039193 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebra
@@ Property / zbMATH Keywords: coalgebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coalgebraic logic
@@ Property / zbMATH Keywords: coalgebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Stone duality
@@ Property / zbMATH Keywords: Stone duality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+predicate liftings
@@ Property / zbMATH Keywords: predicate liftings / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Moss-modality
@@ Property / zbMATH Keywords: Moss-modality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nabla-modality
@@ Property / zbMATH Keywords: nabla-modality / 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.tcs.2012.03.027
+Normal rank
@@ Property / OpenAlex ID @@
+W1985915951
@@ Property / OpenAlex ID: W1985915951 / 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 @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3164468
@@ Property / cites work: Q3164468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086937
@@ Property / cites work: Q3086937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On modal \(\mu\)-calculus with explicit interpolants
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738222
@@ Property / cites work: Q4738222 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847811
@@ Property / cites work: Q2847811 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability logic for type spaces
@@ Property / cites work: Probability logic for type spaces / 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 @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702938
@@ Property / cites work: Q3702938 / rank @@
+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 @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085167
@@ Property / cites work: Q3085167 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Automata Theory: Basic Results
@@ Property / cites work: Coalgebraic Automata Theory: Basic Results / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222950
@@ Property / cites work: Q4222950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / 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 @@
+Q2904060
@@ Property / cites work: Q2904060 / 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 @@
+Q5639839
@@ Property / cites work: Q5639839 / 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 @@
+Q4499303
@@ Property / cites work: Q4499303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / 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 @@
+Completeness for flat modal fixpoint logics
@@ Property / cites work: Completeness for flat modal fixpoint logics / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Finality regained: A coalgebraic study of Scott-sets and multisets
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2012.03.027
@@ Property / DOI: 10.1016/J.TCS.2012.03.027 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:418820