Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

13 May 2013, Logic Tea, Oliver Kutz

Speaker: Oliver Kutz
Title: Connecting Logics
Date: Monday 13 May 2013
Time: 17:00-18:00
Location: Room F1.15, Science Park 107, Amsterdam

Abstract

E-connections is a methodology for combining logics with a rather intuitive semantics, being inspired by counterpart theory. It moreover is quite well-behaved computationally in the sense that although it allows for non-trivial interaction between the combined logics, rather general decidability transfer results can still be shown.

We discuss the origin of E-connections in counterpart semantics, some basic differences to other combination methodologies such as fusions, products, and fibrings, and then proceed to present E-connections in more technical detail. In particular, we introduce the framework of 'abstract description systems', a specific 'lightweight' form of abstract logic generalising the basic syntactic and semantic features of many modal and description logics.

Finally, we mention some application areas, including heterogeneous logical specification, ontology engineering, and modularisation.

For more information, please contact Johannes Marti (), Sebastian Speitel (), or Matthijs Westera ().

Please note that this newsitem has been archived, and may contain outdated information or links.