Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic-coalgebraic specification in CoCASL
@@ Property / cites work: Algebraic-coalgebraic specification in CoCASL / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Hybrid Logic
@@ Property / cites work: Coalgebraic Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+\({\mathcal E}\)-connections of abstract description systems
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Probability logic for type spaces
@@ Property / cites work: Probability logic for type spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE Reasoning for Graded Modal Logics
@@ Property / cites work: PSPACE Reasoning for Graded Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Global Caching for Coalgebraic Description Logics
@@ Property / cites work: Global Caching for Coalgebraic Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Tableau Algorithms for Coalgebraic Logics
@@ Property / cites work: Optimal Tableau Algorithms for Coalgebraic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Finality regained: A coalgebraic study of Scott-sets and multisets
+Normal rank
@@ Property / cites work @@
+Modular construction of complete coalgebraic logics
+Normal rank
@@ Property / cites work @@
+Rank-1 Modal Logics are Coalgebraic
@@ Property / cites work: Rank-1 Modal Logics are Coalgebraic / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE bounds for rank-1 modal logics
@@ Property / cites work: PSPACE bounds for rank-1 modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Algorithms for Heterogeneous Modal Logics
@@ Property / cites work: Modular Algorithms for Heterogeneous Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of coalgebraic modal logic: the limits and beyond
+Normal rank
@@ Property / cites work @@
+CoLoSS: The Coalgebraic Logic Satisfiability Solver
+Normal rank
@@ Property / cites work @@
+A finite model construction for coalgebraic modal logic
+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 @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+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 @@
+Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+A sequent calculus and a theorem prover for standard conditional logics
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129510000563
+Normal rank
@@ Property / OpenAlex ID @@
+W2103774282
@@ Property / OpenAlex ID: W2103774282 / rank @@
+Normal rank