1 – 10 of 17
- show: 10
- |
- 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
Expressiveness of the modal mu-calculus on monotone neighborhood structures
2015)(
- Working paper/Preprint › Working paper
-
Mark
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
2015) In Preprint without journal information(
- Contribution to journal › Article
- 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