Kiana Samadpour Motalebi

According to our database, Kiana Samadpour Motalebi authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Refined Tableau Systems for Some Modal Logics of Confluence.

Kiana Samadpour Motalebi, Renate A. Schmidt, Cláudia Nalon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025