Canonical coalgebraic linear time logics

From MaRDI portal

Revision as of 20:47, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5275344

Jump to:navigation, search

DOI10.4230/LIPIcs.CALCO.2015.66zbMath1366.03242OpenAlexW2275488006MaRDI QIDQ5275344

Corina Cîrstea

Publication date: 11 July 2017

Full work available at URL: https://eprints.soton.ac.uk/380300/1/lipics-calco.pdf

zbMATH Keywords

coalgebra fixpoint logic linear-time logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Temporal logic (03B44)

Related Items (2)

Iterated covariant powerset is not a monad ⋮ Coalgebraic trace semantics via forgetful logics

This page was built for publication: Canonical coalgebraic linear time logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5275344&oldid=19923517"