1 – 10 of 16
- 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
- 2015
-
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
Segerberg on the Paradoxes of Introspective Belief Change
2013)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A general Lindström theorem for some normal modal logics
2013) In Logica Universalis(
- Contribution to journal › Article
-
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