Logic List Mailing Archive

Decidable Fragments of first-order modal logic

31 Jul 2022
Haifa, Israel

*Extended Deadline for Abstracts: April 30th 2022.*

LICS 2022 Affiliated Workshop on
Decidable Fragments of First-order Modal Logic
http://wangyanjing.com/decfoml
31 July 2022, Haifa, Israel (or online)
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)


*Call for Contributions*
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. There will be no workshop proceedings, this
abstract is only for sharing among participants.

Please send your abstract by email to the two organizers listed below
before  *April 30th, 2022 (extended).*

The decision will be notified by* May 14th, 2022*.

Workshop organizers:
R. Ramanujam (IMSc, India): jam@imsc.res.in
Yanjing Wang (Peking University, China): y.wang@pku.edu.cn

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