31 Jul 2022
Haifa, Israel
LICS 2022 AFFILIATED WORKSHOP ON DECIDABLE FRAGMENTS OF FIRST-ORDER MODAL LOGIC http://wangyanjing.com/decfoml /31 July 2022, Haifa, Israel/ Part of _FLoC 2022_ (https://floc2022.org) First-order modal logic is a natural specification language for describing properties of infinite-state systems, databases and de re knowledge of agents, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment with unary predicates) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability, such as monodic fragments and bundled fragments. The workshop is intended as a review of this rapidly evolving direction of research. We seek to identify new potential techniques for constructing decision procedures and discuss problem areas, in terms of syntactic restrictions as well as model classes. INVITED SPEAKERS: Eugenio Orlandelli (University of Bologna) Ian Pratt-Hartmann (University of Manchester) Frank Wolter (University of Liverpool) For SCHEDULE please see http://wangyanjing.com/decfoml/ To REGISTER for the workshop: https://www.floc2022.org/registration (You need not register for the conference as well.) /Workshop organizers:/ R. Ramanujam (IMSc, India): jam@imsc.res.in[1] Yanjing Wang (Peking University, China): y.wang@pku.edu.cn[1] WEBPAGE: http://wangyanjing.com/decfoml/ -- [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