Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 July 2020, ICALP/LICS Workshop "Decidable Fragments of First-order Modal Logic", Saarbruecken, Germany

Date: Monday 6 July 2020
Location: Saarbruecken, Germany
Deadline: Friday 20 March 2020

First-order modal logic is a natural specification language for describing properties of many infinite-state systems, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability. 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.

We invite short abstracts of up to 5 pages in 12-point article style, outlining research in this area. We welcome accounts of already published research or work in progress.

For more information, see http://wangyanjing.com/decfoml/ or contact R. Ramanujam at , or Yanjing Wang at .