[kisoron-ml] JAIST Logic Seminar Series

[Hajime Ishihara]

皆様

リーズ大学のJohn Stell先生の講演のお知らせです。
ふるってご参加ください。

問合せ先：
石原　哉
北陸先端科学技術大学院大学 情報科学研究科
e-mail: ishihara at jaist.ac.jp

--------------------------------------------------
* JAIST Logic Seminar Series *

* This seminar is held as a part of the EU FP7 Marie Curie Actions
IRSES project CORCON (http://corcon.net/).

Date: Friday 27 June, 2014, 15:30-17:00

Place: JAIST, 7F seminar room (I-75)
(Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Dr. John Stell (University of Leeds, UK)

Title: Bi-Intuitionistic Modal Logic and Hypergraphs

Abstract:
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.

--------------------------------------------------