Ullrich Hustadt

Ullrich Hustadt

Reader, Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk
Cited by 3674
Verification Automated Theorem Proving Modal Logics Temporal Logics
Natalia Garanina

Natalia Garanina

Senior Reseacher, AP Ershov INSTITUTE OF INFORMATICS SYSTEMS, Novosibirsk …
Verified email at iis.nsk.su
Cited by 522
Modal Logics Multiagent Systems Description Logics Formal Concept Analysis Model Checking
Raul Fervari

Raul Fervari

FAMAF, Universidad Nacional de Córdoba and CONICET
Verified email at unc.edu.ar
Cited by 510
Modal Logics Model Updates Computational Logic
Przemysław Andrzej Wałęga

Przemysław Andrzej Wałęga

University of Oxford
Verified email at uw.edu.pl
Cited by 436
temporal and spacial logics computational complexity stream reasoning modal logics
Cláudia Nalon

Cláudia Nalon

Computer Science, University of Brasília
Verified email at unb.br
Cited by 268
logics modal logics tableaux resolution proof method
Juliana Bueno-Soler

Juliana Bueno-Soler

Assistant Professor, State Univeraity of Campinas (Unicamp) at Limeira, SP, Brazil
Cited by 224
Non-classical logics modal logics algebraizability of logics foundations of probability
Takashi Matsuhisa

Takashi Matsuhisa

Institute of Applied Mathematical Research, Karelia Research Centre, Russian Academy of …
Verified email at krc.karelia.ru
Cited by 184
Applied Mathematics Game Theory Decision Sciences Computer Science Modal Logics
Tim Lyon

Tim Lyon

PostDoc Researcher, TU Dresden
Verified email at tu-dresden.de
Cited by 167
Artificial Intelligence Automated reasoning Modal logics Mathematical logic Proof theory
Marianna Girlando

Marianna Girlando

ILLC, University of Amsterdam
Verified email at uva.nl
Cited by 152
Logic Proof Theory Modal Logics
Francisco Trucco

Francisco Trucco

University of Groningen
Verified email at rug.nl
Cited by 126
Proof Theory Complexity Theory Modal Logics
1 - 10