Seminar Talk Announcement

  • David Fernández Duque (Ghent University):

    On the adequacy of temporal logics for modelling European transport regulations

    26.07.2021 16:00Room ZOOM @ Institute of Computer Science
    Pod Vodárenskou věží 2
    Praha, 182 00
    Applied Mathematical Logic Seminar

    We analyze the expressibility of some articles of the European transport regulations in subsystems of monadic second order logic (MSO), with particular emphasis on linear temporal logic (LTL). We argue that all articles under consideration can be represented in the \Sigma_1 fragment of MSO, although representations in LTL can sometimes be unfeasible if not impossible.

Past Talks