Santiago Figueira
Santiago Figueira
Affiliation: University of Buenos Aires & CONICET
Affiliation: CONICET and Universidad de Buenos Aires, Argentina
Pages in this Program
Guarded Negation Transitive Closure Logic
Basic Model Theory for Path Predicate Modal Logic
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑