Somayeh Chopoghloo

Orcid: 0000-0003-1059-6787

According to our database¹, Somayeh Chopoghloo authored at least 3 papers between 2021 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Dynamic Probability Logic: Decidability & Computability.

[DOI]

CoRR, 2024

2022

An infinitary axiomatization of dynamic topological logic.

[DOI]

Log. J. IGPL, 2022

2021

A strongly complete axiomatization of intuitionistic temporal logic.

[DOI]

J. Log. Comput., 2021