JAIST Logic@JAIST

Bi-Intuitionistic Modal Logic and Hypergraphs

  • Dr. John Stell
  • University of Leeds, UK
  • This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON
Date: 2014/06/27 (Fri) 15:30 to 17:00
Place: JAIST, 7F seminar room (I-75)
Group: Logic Unit
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.
Contact Hajime Ishihara