Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451): Difference between revisions

@@ Property / cites work @@
+Modular construction of complete coalgebraic logics
+Normal rank
@@ Property / cites work @@
+Modular Games for Coalgebraic Fixed Point Logics
@@ Property / cites work: Modular Games for Coalgebraic Fixed Point Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283467
@@ Property / cites work: Q4283467 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847813
@@ Property / cites work: Q2847813 / rank @@
+Normal rank
@@ Property / cites work @@
+Traces, Executions and Schedulers, Coalgebraically
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+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 @@
+Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
+Normal rank