DSpace Collection: http://www.openstarts.units.it:80/dspace/handle/10077/3879 2013-05-20T14:25:02Z Editorial http://www.openstarts.units.it:80/dspace/handle/10077/4026 Title: Editorial Type: Articolo 2010-01-01T00:00:00Z Preface http://www.openstarts.units.it:80/dspace/handle/10077/4025 Title: Preface Type: Articolo 2010-01-01T00:00:00Z Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations” http://www.openstarts.units.it:80/dspace/handle/10077/4024 Title: Proofs of the Results in “Boundary-Value Problems for Weakly Nonlinear Ordinary Differential Equations” Authors: Dancer, Edward Norman Abstract: We provide the proofs of the results, announced in [1], concerning the existence (and non-existence) of solutions to Dirichlet and periodic boundary value problems associated to second order differential equations with asymmetric nonlinearities. Type: Articolo 2010-01-01T00:00:00Z Topo-Bisimulations are Coalgebraic http://www.openstarts.units.it:80/dspace/handle/10077/3894 Title: Topo-Bisimulations are Coalgebraic Authors: Schubert, Christoph Abstract: We show that the topological interpretation of the modal logic S4 can be reformulated using a special kind of coalgebras for the filter functor. Thus the topological semantics is subsumed in coalgebraic semantics. Moreover, the relational notion of topo-bisimulation can be characterized via spans of open and continuous maps of topological spaces or via spans of coalgebras morphisms. Type: Article 2010-01-01T00:00:00Z