Pozvánka na přednášku semináře

  • David Fernández Duque (Ghent University):

    On the adequacy of temporal logics for modelling European transport regulations

    26.07.2021 16:00Místnost ZOOM @ Ústav informatiky
    Pod Vodárenskou věží 2
    Praha, 182 00
    Seminář aplikované matematické logiky

    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.

Předchozí přednášky