[ACT-R-users] contest: how to combine logics?

[Universal Logic]

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 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 the winner is.