13 May 2013, Logic Tea, Oliver Kutz

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 (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).