Report on the Second SYSMICS school
The second SYSMICS school was organized by the Logic Group of the Mathematical Institute of the University of Bern at Hotel Les Sources in Les Diablerets, Switzerland, 22-26 August 2018. The school preceded two conferences relevant to the SYSMICS project, taking place in Bern 27{31 August 2018, namely Advances in Modal Logic [read more]