Sebastian Enqvist

Identifiers

• name variant Sebastian Enqvist 0.60 · backfill

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

• 2506.22206 #1 · arxiv_oai · confidence 0.70 Sebastian Enqvist
• 1502.07889 #1 · backfill · confidence 0.70 Sebastian Enqvist
• 1501.07215 #1 · backfill · confidence 0.70 Sebastian Enqvist
• 1412.4586 #1 · backfill · confidence 0.70 Sebastian Enqvist

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