Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

15-19 February 2016, Lorentz center workshop on Unified Correspondence, Lorentz center, Leiden

Date: 15-19 February 2016
Location: Lorentz center, Leiden

Unified correspondence is a very recent approach to the the well known Sahlqvist theory in modal logic, which has imported techniques from duality, algebra and formal topology and exported the state of the art of Sahlqvist theory to a wide range of logics including, among others, intuitionistic and distributive lattice-based (normal modal) logics, non-normal (regular) modal logics, substructural logics, hybrid logics, and mu-calculus.

This wealth of new techniques, results and insights is now ready to be put to use in the mathematical environments (both semantic and proof-theoretic) of logical systems which are suitable to address formalization problems in the target application areas of linguistics and management science. In fact, the logical work in both these fields already displays correspondence phenomena, albeit in an embryonic form.The aim of this workshop is therefore to foster new scientific collaborations among mathematical logicians using correspondence theoretic tools on the one hand and, on the other, researchers in linguistics and management science interested in applying logical methods.

The Lorentz Center is a prestigious institution of the University of Leiden, which hosts, coordinates, and financially supports scientific workshops in collaboration with NWO and NIAS. Participation in Lorentz workshops is by invitation only, and the number of participants at any given workshop is limited to 55 per any given day.

If you are interested in participating, please contact the workshop coordinator Aimeé Reinards,‎[]‎‎

For more information, see https://www.lorentzcenter.nl/lc/web/2016/757/info.php3?wsid=757.

Please note that this newsitem has been archived, and may contain outdated information or links.