ESSLLI 2023 workshop on

First-order Modal and Temporal Logics:

State of the art and perspectives

Affiliated with the 34th European Summer School in Logic, Language and Information ESSLLI 2023

Ljubljana, Slovenia, 7-11 August, 2023

Last update: 24/08/2023, 09.00 GMT

Organizers: Valentin Goranko and Dmitry Shkatov

Booklet of extended abstracts

Workshop scope and topics:

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

Invited Speakers:

Bahareh Afshari

Melvin Fitting

Robert Goldblatt

Agi Kurucz

Valentin Shehtman

Programme Committee:

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)


Monday, 7 August

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]

Tuesday, 8 August

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]

Wednesday, 9 August

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]

Thursday, 10 August

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]

Friday, 11 August

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


If you have any queries, send us email at