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/

============================== =====================