Ullrich Hustadt

Ullrich Hustadt

Reader, Department of Computer Science, University of Liverpool
Подтвержден адрес электронной почты в домене liverpool.ac.uk
Цитируется: 3699
Verification Automated Theorem Proving Modal Logics Temporal Logics
Natalia Garanina

Natalia Garanina

Senior Reseacher, AP Ershov INSTITUTE OF INFORMATICS SYSTEMS, Novosibirsk …
Подтвержден адрес электронной почты в домене iis.nsk.su
Цитируется: 567
Modal Logics Multiagent Systems Description Logics Formal Concept Analysis Model Checking
Przemysław Andrzej Wałęga

Przemysław Andrzej Wałęga

University of Oxford
Подтвержден адрес электронной почты в домене uw.edu.pl
Цитируется: 555
temporal and spacial logics computational complexity stream reasoning modal logics
Raul Fervari

Raul Fervari

FAMAF, Universidad Nacional de Córdoba and CONICET
Подтвержден адрес электронной почты в домене unc.edu.ar
Цитируется: 525
Modal Logics Model Updates Computational Logic
Cláudia Nalon

Cláudia Nalon

Computer Science, University of Brasília
Подтвержден адрес электронной почты в домене unb.br
Цитируется: 261
logics modal logics tableaux resolution proof method
Juliana Bueno-Soler

Juliana Bueno-Soler

Assistant Professor, State Univeraity of Campinas (Unicamp) at Limeira, SP, Brazil
Цитируется: 250
Non-classical logics modal logics algebraizability of logics foundations of probability
Tim Lyon

Tim Lyon

PostDoc Researcher, TU Dresden
Подтвержден адрес электронной почты в домене tu-dresden.de
Цитируется: 204
Artificial Intelligence Automated reasoning Modal logics Mathematical logic Proof theory
Marianna Girlando

Marianna Girlando

ILLC, University of Amsterdam
Подтвержден адрес электронной почты в домене uva.nl
Цитируется: 187
Logic Proof Theory Modal Logics
Takashi Matsuhisa

Takashi Matsuhisa

Institute of Applied Mathematical Research, Karelia Research Centre, Russian Academy of …
Подтвержден адрес электронной почты в домене krc.karelia.ru
Цитируется: 185
Applied Mathematics Game Theory Decision Sciences Computer Science Modal Logics
Francisco Trucco

Francisco Trucco

University of Groningen
Подтвержден адрес электронной почты в домене rug.nl
Цитируется: 133
Proof Theory Complexity Theory Modal Logics
1 - 10