Follow
Somayeh Chopoghloo
Title
Cited by
Cited by
Year
A strongly complete axiomatization of intuitionistic temporal logic
S Chopoghloo, M Moniri
Journal of Logic and Computation 31 (7), 1640-1659, 2021
22021
An infinitary axiomatization of dynamic topological logic
S Chopoghloo, M Moniri
Logic Journal of the IGPL 30 (1), 124-142, 2022
12022
Dynamic Probability Logics: Axiomatization & Definability
S Chopoghloo, M Pourmahdian
arXiv preprint arXiv:2401.07235, 2024
2024
On the Axiomatization of Intuitionistic Linear Temporal Logic of Dynamical Systems
S Chopoghloo, E GC
2017
The system can't perform the operation now. Try again later.
Articles 1–4