Dag Westerstahl and Denis Bonnay. Logical constants

The question of logical constants has been debated since medieval times, and modern logic has attempted various answers, along both model-theoretic and proof-theoretic lines. Recently the interest in the issue has grown considerably, partly because new results and insights on the nature of logicality have been obtained, and partly because of the ever-increasing variety of logical systems. Most results so far concern classical logic (with some extensions to intuitionistic and modal logic), but the same issue arises in, for example, dynamic logic, game logics, logics used in computer science, or dependence/independence-friendly logic. The aim of the workshop is to bring together senior and junior researchers from various areas of logic, language and computation who are at present contributing to the issue of logical constants.

Workshop website

Moodle site