\n

Depen dence and independence are common phenomena, where ver\n one looks: ecological systems, astronom y, human history, stock\n markets - but what is their role in logic and - turning the\n ta bles - what is the logic of these concepts?

\nThe possibility of nesting quantifiers, th us expressing\n patterns of dependence and in dependence between variables,\n accounts for much of the expressive power of first order\n logic. However, first order logic is not capable of expressing\n all such patterns, and as a c onsequence various generalizations\n - such a s branching quantifiers, or the various variants o f\n independence-friendly logic - have been i ntroduced during the\n last fifty years. Depe ndence logic is a recent formalism, which\n b rings to the forefront the very concept of depende nce,\n isolating it from the notion of quanti fier and making it one of\n the primitive ele ments of the language. It can also be added to\n other logics, such as modal logic. This has op ened up an\n opportunity to develop logical t ools for the study of complex\n forms of depe ndence, with applications to computer science,\n philosophy, linguistics, game theory and mathe matics. Recently\n there has been an increasi ng interest in this topic, especially\n among young researchers.

\nThe goal of this workshop is to provide an opportunity for\n researchers to further explore the very notions of dependence\n and independence and their role in formal logic, inparticular\n with regard to logics of imperfect information.\n

\n \n \nFor more information, see\n http://www.illc.uva.nl/dependenc e/.\n This workshop is organized as par t of the \n European Summer\n Sch ool on Logic, Language and Information 2010\n in cooperation with the European Science Fo undation EUROCORES program LogICCC project LINT (L ogic for interaction).\n

\n\n

URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/3122/16-20-August-2010-Workshop-on-Dependence-and
-Independence-in-Logic-Copenhagen-Denmark
END:VEVENT
END:VCALENDAR
Authors are invited to submit an exten ded abstract with a maximum length \n of 5 pages.\n Submission deadline: 1 April 2010\ n

\n