Profili

Ullrich Hustadt

Reader, Department of Computer Science, University of Liverpool

Preverjeni e-poštni naslov na liverpool.ac.uk

Navedeno v 3698 virih

Verification Automated Theorem Proving Modal Logics Temporal Logics

Natalia Garanina

Senior Reseacher, AP Ershov INSTITUTE OF INFORMATICS SYSTEMS, Novosibirsk …

Preverjeni e-poštni naslov na iis.nsk.su

Navedeno v 567 virih

Modal Logics Multiagent Systems Description Logics Formal Concept Analysis Model Checking

Przemysław Andrzej Wałęga

University of Oxford

Preverjeni e-poštni naslov na uw.edu.pl

Navedeno v 555 virih

temporal and spacial logics computational complexity stream reasoning modal logics

Raul Fervari

FAMAF, Universidad Nacional de Córdoba and CONICET

Preverjeni e-poštni naslov na unc.edu.ar

Navedeno v 525 virih

Modal Logics Model Updates Computational Logic

Cláudia Nalon

Computer Science, University of Brasília

Preverjeni e-poštni naslov na unb.br

Navedeno v 261 virih

logics modal logics tableaux resolution proof method

Juliana Bueno-Soler

Assistant Professor, State Univeraity of Campinas (Unicamp) at Limeira, SP, Brazil

Navedeno v 250 virih

Non-classical logics modal logics algebraizability of logics foundations of probability

Tim Lyon

PostDoc Researcher, TU Dresden

Preverjeni e-poštni naslov na tu-dresden.de

Navedeno v 204 virih

Artificial Intelligence Automated reasoning Modal logics Mathematical logic Proof theory

Takashi Matsuhisa

Institute of Applied Mathematical Research, Karelia Research Centre, Russian Academy of …

Preverjeni e-poštni naslov na krc.karelia.ru

Navedeno v 185 virih

Applied Mathematics Game Theory Decision Sciences Computer Science Modal Logics

Marianna Girlando

ILLC, University of Amsterdam

Preverjeni e-poštni naslov na uva.nl

Navedeno v 182 virih

Logic Proof Theory Modal Logics

Francisco Trucco

University of Groningen

Preverjeni e-poštni naslov na rug.nl

Navedeno v 133 virih

Proof Theory Complexity Theory Modal Logics

1 - 10