ESSLLI 2023 Workshop on First-order Modal and Temporal Logics

Workshop scope and topics:

Topics of interest include, but are not limited to the following for first-order modal and temporal logics:

languages, models, and semantics;
proof theory, deductive systems, and completeness/incompleteness results;
decidability, undecidability, complexity;
problems and applications in philosophy, mathematics, computer science and artificial intelligence.

Bahareh Afshari

Melvin Fitting

Robert Goldblatt

Agi Kurucz

Valentin Shehtman

Natasha Alechina (Utrecht University)

Torben Braüner (Roskilde University)

Serenella Cerrito (Université d'Evry Val d'Essonne)

Michael Fisher (University of Manchester)

Silvio Ghilardi (University of Milan)

Valentin Goranko (Stockholm University), co-chair

Thomas Müller (University of Konstanz)

Sara Negri (University of Genoa)

Ram Ramanujam (Institute of Mathematical Sciences, Chennai)

Dmitry Shkatov (University of the Witwatersrand, Johannesburg), co-chair

Renate A. Schmidt (University of Manchester)

Yaroslav Shramko (Kryvyi Rih State Pedagogical University)

Yanjing Wang (Peking University)

Michael Zakharyaschev (Birkbeck College, University of London)

9:00	Melvin Fitting Why Predicate Abstracts (And How) [abstract]
9:50	Stef Frijters An Andersonian-Kangerian Reduction of Term-Modal S5 [abstract]
10:10	Anantha Padmanabha and R. Ramanujam Decidable Fragments of Term Modal Logic (online) [abstract]

9:00	Robert Goldblatt Admissible Semantics for Quantified Modal and Temporal Logics (online) [abstract]
9:50	Sen Zheng, Michael Fisher and Clare Dixon Using the temporal monodic clique-guarded negation fragment to specify swarm properties [abstract]
10:10	Ivano Ciardelli Expressing global supervenience in inquisitive modal logic [abstract]

9:00	Bahareh Afshari Proofs with modality: challenges and perspectives [abstract]
9:50	Clara Elizabeth List The Predicate Modal Logic of Forcing [abstract]
10:10	Mo Liu, Anantha Padmanabha, R. Ramanujam, and Yanjing Wang	Satisfiability Problem for the Bundled Fragments of First Order Modal Logic [abstract]

9:00	Valentin Shehtman Completeness in first-order modal logic: the present stage [abstract]
9:50	Valentin Shehtman and Dmitry Shkatov Kripke (in)completeness of predicate modal logics with axioms of bounded alternativity [abstract]
10:10	Ivan Pyltsyn Mezhirov's game for intuitionistic logic and its variations (online) [abstract]

9:00	Agi Kurucz (based on joint work with Frank Wolter and Michael Zakharyaschev) Definitions and (Uniform) Interpolants in First-Order Modal Logic [abstract]
9:50	Concluding discussion