Sebastian Enqvist (Former)
1 – 18 of 18
- show: 250
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2016
-
Mark
A new coalgebraic Lindström theorem
(
- Contribution to journal › Article
-
Mark
Completeness for coalgebraic fixpoint logic
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
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
2015) In Preprint without journal information(
- Contribution to journal › Article
-
Mark
Expressiveness of the modal mu-calculus on monotone neighborhood structures
2015)(
- Working paper/Preprint › Working paper
- 2014
-
Mark
A coalgebraic view of characteristic formulas in equational modal fixed point logic
2014) LNCS 8446.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generalized Vietoris bisimulations
2014) In Preprint without journal information(
- Contribution to journal › Article
- 2013
-
Mark
A general Lindström theorem for some normal modal logics
2013) In Logica Universalis(
- Contribution to journal › Article
-
Mark
Segerberg on the Paradoxes of Introspective Belief Change
2013)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Homomorphisms of coalgebras from predicate liftings
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
Modelling Epistemic Actions in Interrogative Belief Revision
(
- Contribution to journal › Article
-
Mark
Interrogative Belief Revision Based on Epistemic Strategies
(
- Contribution to journal › Article
- 2011
-
Mark
Belief Revision Meets Philosophy of Science
Olsson, Erik J LU and Enqvist, Sebastian LU (2011)
- Book/Report › Anthology (editor)
-
Mark
A Structuralist Framework for the Logic of Theory Change
2011)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Editor's Introduction
2011)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Interrogative Belief Revision
2011)(
- Thesis › Doctoral thesis (compilation)
- 2010
-
Mark
Contraction in Interrogative Belief Revision
(
- Contribution to journal › Article
- 2009
-
Mark
Interrogative Belief Revision in Modal Logic
(
- Contribution to journal › Article