Somayeh Chopoghloo

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Satisfiability Problem

Topological Properties

Inclusion Dependencies

Top Venues

J. Log. Comput.

Publications

Somayeh Chopoghloo, Mahdi Heidarpoor, Massoud Pourmahdian
Dynamic Probability Logic: Decidability & Computability. CoRR (2024)
Somayeh Chopoghloo, Morteza Moniri
An infinitary axiomatization of dynamic topological logic. Log. J. IGPL 30 (1) (2022)
Somayeh Chopoghloo, Morteza Moniri
A strongly complete axiomatization of intuitionistic temporal logic. J. Log. Comput. 31 (7) (2021)