An online session of the Algebra and Logic Seminar will be held on March 25, 2022 (Friday) at 1:00 pm (UTC+2).

A talk on:

An Application of Separation in Discrete Time Interval Temporal Logic to Branching Time

will be delivered by Dimitar Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences).

Abstract. In this talk we make an application of our separation theorem for discrete time Interval Temporal Logic (ITL) to the study of Interval-based Computation Tree Logic (ICTL*). We prove that the expressibility of the expanding modalities and, most importantly, propositional quantification, carry over from linear time ITL to the branching time system of ICTL*. The relevance of this follows from the fact that point-based propositionally quantified CTL* (QCTL*) is the established intermediate language for temporal logics of agency as propositional quantification enables expressing the existence of strategies with given temporal properties. By moving to ITL we move a step further, using the expressibility of propositional quantification in the logic, which is markedly more expressive than point-based CTL* and facilitates the compositionality of specifications.

The seminar will be held via Zoom and anyone can join at:

https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09

Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Mar 25, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647

Algebra and Logic Department, IMI-BAS
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================