2-6 Jul 2018
Delft, The Netherlands
Workshop: Algebraic Proof Theory for Social Behaviour Dates 2-6 July 2018 Website http://www.appliedlogictudelft.nl/event/algebraic-proof-theory-for-social-behaviour/ Topic and aims The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each. Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras. This workshop aims to bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations. The workshop is organised on the occasion of the PhD defenses of Fei Liang and Apostolos Tzimoulis. Invited Speakers > Philippe Balbiani, CNRS > Marta Bílková, Charles University > Willem Conradie, University of the Witwatersrand > Franz Dietrich, CNRS > Giuseppe Greco, Utrecht University > Peter Jipsen, Chapman University > Dick de Jongh, University of Amsterdam > Alexander Kurz, University of Leicester > Minghui Ma, Sun Yat-sen University > M.Andrew Moshier, Chapman University Organizers > Alessandra Palmigiano (Delft, the Netherlands) > Fei Liang (Delft, the Netherlands) > Apostolos Tzimoulis (Delft, the Netherlands) Venue and Schedule See website Contact Fei Liang, F.Liang@tudelft.nl Apostolos Tzimoulis, a.tzimoulis-1@tudelft.nl -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam