Sebastian Enqvist (Former)

1 – 10 of 18

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/fil-sse?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
next »

2016
Mark A new coalgebraic Lindström theorem
Enqvist, Sebastian ^LU (2016) In Journal of Logic and Computation 26(5). p.1541-1566
- Contribution to journal › Article
Mark Completeness for coalgebraic fixpoint logic
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2016) 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic In Leibniz International Proceedings in Informatics (LIPIcs) 62. p.1-7
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2015
Mark Monadic second-order logic and bisimulation invariance for coalgebras
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2015) 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) p.353-365
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2015) In Preprint without journal information
- Contribution to journal › Article
Mark Expressiveness of the modal mu-calculus on monotone neighborhood structures
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2015)
- Working paper/Preprint › Working paper
2014
Mark A coalgebraic view of characteristic formulas in equational modal fixed point logic
Enqvist, Sebastian ^LU and Sack, Joshua (2014) LNCS 8446.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Generalized Vietoris bisimulations
Enqvist, Sebastian ^LU and Sourabh, Sumit (2014) In Preprint without journal information
- Contribution to journal › Article
2013
Mark Homomorphisms of coalgebras from predicate liftings
Enqvist, Sebastian ^LU (2013) 8089(Algebra and Coalgebra in Computer Science, CALCO 2013).
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Segerberg on the Paradoxes of Introspective Belief Change
Enqvist, Sebastian ^LU and Olsson, Erik J ^LU (2013)
- Chapter in Book/Report/Conference proceeding › Book chapter
Mark A general Lindström theorem for some normal modal logics
Enqvist, Sebastian ^LU (2013) In Logica Universalis
- Contribution to journal › Article

« previous
1
2
next »