Sebastian Enqvist

Identifiers

No identifiers captured yet.

Papers (7)

1. Computation by infinite descent made explicit cs.LO · 2025 · author #1
2. Completeness for Game Logic cs.LO · 2019 · author #1
3. Flat modal fixpoint logics with the converse modality cs.LO · 2017 · author #1
4. An expressive completeness theorem for coalgebraic modal mu-calculi cs.LO · 2017 · author #1
5. Expressiveness of the modal mu-calculus on monotone neighborhood structures cs.LO · 2015 · author #1
6. Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras cs.LO · 2015 · author #1
7. Generalized Vietoris Bisimulations cs.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Yde Venema 4 shared papers
• Fatemeh Seifan 3 shared papers
• Clemens Kupke 1 shared papers
• Helle Hvid Hansen 1 shared papers
• Johannes Marti 1 shared papers
• Sumit Sourabh 1 shared papers