Scholar
Carlos Areces
Google Scholar ID: Ku5jaRkAAAAJ
Universidad Nacional de Córdoba - CONICET
Logic
Computational Logic
Modal Logic
Model Theory
Automated Reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,100
H-index
25
i10-index
62
Publications
20
Co-authors
54
list available
Publications
4 items
Satisfiability for Knowing How over Linear Plans is NP-complete
2026
Cited
0
Sequent Calculi for Data-Aware Modal Logics
2025
Cited
0
Sequent Calculi for Data-Aware Modal Logics
2025
Cited
0
Data-Aware Hybrid Tableaux
arXiv.org · 2024
Cited
0
Co-authors
13 total
Raul Fervari
FAMAF, Universidad Nacional de Córdoba and CONICET
Maarten de Rijke
University of Amsterdam & ICAI
Santiago Figueira
University of Buenos Aires and CONICET
Diego Figueira
CNRS, LaBRI, Univ. Bordeaux
Valentin Cassano
Department of Mathematics, National University of Rio Cuarto and CONICET, Argentina
Verónica Becher
Universidad de Buenos Aires & CONICET
Balder ten Cate
Associate Professor
Carsten Lutz
Professor of Computer Science, University of Leipzig
