[FOM] contest: how to combine logics?

[BEZIAU Jean-Yves]

How to combine logics?

This will be the contest for
the universal logic 2010 price offered by Birkhäuser at the
World Congress on Universal Logic III
Lisbon, Portugal, April 22-25, 2010
http://www.uni-log.org

When we have two logics, we may want to put them together.
For example on the one hand we have a temporal logic and on the other hand we have a deontic logic, how then to put them together to produce a temporal deontic logic in which we can deal with sentences such as "Sometimes it is allowed to eat chocolate"?

This is a very interesting question in the engineering of logic. People have been working in the subject since about 15 years. But there are still some fundamental problems not completely solved. These problems are connected to the very nature of what a logical system is. One may wonder if the intuitive definition of combination of logic as the smallest conservative extension of two given logics really works, and also if it is always possible to combine two logics.


If you want to take part to this contest send a short paper (10 to 15 pages) to unilog2010 at gmail.com<mailto:unilog2010 at gmail.com> before November 15th, 2009. The best ones will be selected for presentation at a special session during the congress and a jury will then decide who is the winner.