Linear-time logics -- a coalgebraic perspective
From MaRDI portal
Publication:6563060
DOI10.46298/LMCS-20(2:13)2024MaRDI QIDQ6563060
Publication date: 27 June 2024
Published in: (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Maximal traces and path-based coalgebraic temporal logics
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Constructive versions of Tarski's fixed point theorems
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Trace semantics via determinization
- Expressivity of coalgebraic modal logic: the limits and beyond
- A fixpoint theorem for complete categories
- A lattice-theoretical fixpoint theorem and its applications
- Coalgebraic trace semantics via forgetful logics
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Parity Automata for Quantitative Linear Time Logics
- From Branching to Linear Time, Coalgebraically
- Canonical coalgebraic linear time logics
- A Coalgebraic Approach to Linear-Time Logics
- Model Checking Quantitative Linear Time Logic
- Scalars, Monads, and Categories
- Lattice Automata
- Algebra and Coalgebra in Computer Science
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Rudiments of \(\mu\)-calculus
- An automata-theoretic approach to linear temporal logic
This page was built for publication: Linear-time logics -- a coalgebraic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563060)
