On Friday, June 27th, Dr John Stell from the University of Leeds, UK, will give a talk at JAIST.
Bi-Intuitionistic Modal Logic and Hypergraphs
I will discuss motivations from spatial reasoning and mathematical morphology (as used in image processing) for the notion of a relation on a graph. I will show how the algebra of these relations is weaker than that of relations on a set. This leads to a generalization of relation algebras in which the Boolean algebra is replaced by a symmetric Heyting algebra.
These relations can be used as the accessibility relations for a modal logic in which propositions are interpreted as subgraphs of a graph or more generally a hypergraph.
The slides of the talks at the Correctness by Construction (CORCON2014) Workshop are available in the conference website, thanks to the participants who kindly agreed to make them public.
Thanks to Neil Ghani, we would like to signal the workshop
Workshop on Applications on Fibrations in Computer Science
University of Strathclyde, June 23-24, 2014
which is strictly related to the themes of the CORCON project.
This website has been designed by Hannes Diener (University of Siegen) and Marco Benini (Università degli Studi dell’Insubria).
The photograph shows the Devil’s Bridge in Bobbio, Piacenza, Italy. The photograph (copyright by Marco Benini, for free use in the project websites) has been chosen because of the peculiar structure of the bridge, which is very irregular but still solid enough to survive one thousand of years, a duration that modern software design has few hopes to meet – a situation that our project aims to change.