Project

Intuitionistic Dynamic Logic

Code
DOCT/012569
Duration
03 October 2024 → 31 October 2025 (Defended)
Doctoral researcher
Research disciplines
No data available
 
Project description
No data available