workshop on logic (fwd)

---------- Forwarded message ---------- Date: Sat, 30 Jan 1999 09:30:04 +0000 From: Stephen Clark &lt;srlclark(a)LIVERPOOL.AC.UK&gt; To: PHILOS-L(a)LISTSERV.LIV.AC.UK Subject: workshop on logic (fwd) Date: Fri, 29 Jan 1999 22:39:27 +0000 (BST) From: Humanist Discussion Group &lt;humanist(a)kcl.ac.uk&gt; ***** WORKSHOP ON PROOF THEORY FOR CONDITIONAL AND NON-MONOTONIC LOGIC ****** DOV GABBAY AND HOWARD BARRINGER Conditional logic and non-monotonic logic are central areas in philosophy, computer science and language. Moreover, the connection between non-monotonic consequence "A entails B" and the conditional "A>B" is well known, so too are the formal similarities between the conditional and substuctural implications. The semantic modelling (possible worlds, probabilistic, translational, etc) of the conditional and non-monotonic consequence seems to be relatively well developed but not much work has been done on the proof-theoretic aspects. Put simply, we need systems which can do the following: Given a (non-monotonic/conditional) database Delta and given a formula C (which could be of the form A>B ), we need formal but intuitive algorithmic, proof procedures (e.g. tableaux, Gentzen, goal directed, LDS etc.) for determining whether D follows from Delta . Furthermore, we need to correlate different such proof systems within the landscape of known semantically presented conditional /non-monotonic logics. This workshop calls for papers in this area covering some of (but not exclusively) of the topics below: * proof rules for conditional/non-monotonic logics; * connections between non-monotonic consequence and conditionals; * connections with belief revision and the Ramsey test (no triviality result holds if the database is non-monotonic); * time, action and the conditional; * conditional proof theory compared to substructural proof theory; * translations of conditional systems into classical and/or modal logic; * labelled proof systems for conditional logic; * executable conditional logic. The workshop will take place during the second week of the ESSLLI Summer School (August 16-20, 1999) and allows for up to 12 30-45 minute lectures. The ESSLLI Summer School is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). Previous ESSLLI Summer Schools have been highly successful, attracting around 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. For more information see <http://esslli.let.uu.nl>. Good papers from the workshop will be published either as a volume in one of Dov Gabbay's book series or as a special issue in one of the journals for which he is an editor (e.g. JLC or IGPL). All researchers in the area, but especially Ph.D. students and young researchers, are encouraged to submit a two-page abstract (hard copy or e-mail (plain ASCII or (La)TeX) . SUBMISSION DETAILS AND DATES AS FOLLOWS: * DEADLINE FOR SUBMISSIONS march 15,99 * SUBMIT TO Jane Spurr , Department of computer science , King's College London, Strand, London WC2R 2LS. It is preferable to submit electronically to jane(a)dcs.kcl.ac.uk. * NOTIFICATION OF ACCEPTANCE : May 15,99 * FURTHER NOTE Papers submitted to the workshop can also be considered, if the author so wishes, as a regular submission to any of Dov Gabbay's journals. professor D M Gabbay Dept of computer Science King's College Strand London WC2R 2LS Telephone + 44 171 873 5090 Fax + 44 171 240 1071 Latex or postscript files send to Jane Spurr jane(a)dcs.kcl.ac.uk