Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
From MaRDI portal
Publication:3005988
DOI10.1017/S0960129510000563zbMath1260.03061OpenAlexW2103774282MaRDI QIDQ3005988
Publication date: 10 June 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129510000563
games with uncertain informationheterogeneous modal logicsmodular decision proceduresmulti-sorted coalgebrasSegala systemsstate-based systems
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)
Related Items
On a categorical framework for coalgebraic modal logic, Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence, Unnamed Item, Reasoning with Global Assumptions in Arithmetic Modal Logics, Coalgebraic semantics of modal logics: an overview, Coalgebraic trace semantics via forgetful logics, Unnamed Item, Efficient Coalgebraic Partition Refinement
Uses Software
Cites Work
- Unnamed Item
- Expressive logics for coalgebras via terminal sequence induction
- \({\mathcal E}\)-connections of abstract description systems
- Bisimulation through probabilistic testing
- Coalgebraic logic
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Universal coalgebra: A theory of systems
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Terminal coalgebras in well-founded set theory
- Algebraic-coalgebraic specification in CoCASL
- Modular construction of complete coalgebraic logics
- Expressivity of coalgebraic modal logic: the limits and beyond
- In so many possible worlds
- A finite model construction for coalgebraic modal logic
- PSPACE Reasoning for Graded Modal Logics
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- PSPACE bounds for rank-1 modal logics
- Rank-1 Modal Logics are Coalgebraic
- Alternating-time temporal logic
- Optimal Tableau Algorithms for Coalgebraic Logics
- Coalgebraic Hybrid Logic
- Alternation
- A Modal Logic for Coalitional Power in Games
- CoLoSS: The Coalgebraic Logic Satisfiability Solver
- A sequent calculus and a theorem prover for standard conditional logics
- Modular Algorithms for Heterogeneous Modal Logics
- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
- Global Caching for Coalgebraic Description Logics
- Probability and Nondeterminism in Operational Models of Concurrency
- Probability logic for type spaces