Fenrong Liu

Fenrong Liu

Professor of Logic, Tsinghua University
Verified email at tsinghua.edu.cn
Cited by 1767
preference logic dynamic logic deontic logic logics for social networks hitstory of logic in China
Igor Sedlár

Igor Sedlár

Researcher, Institute of Computer Science, The Czech Academy of Sciences; Institute of …
Verified email at cs.cas.cz
Cited by 243
Modal Logic Dynamic Logic Epistemic Logic Substructural Logics Knowledge Representation
Joseph Boudou

Joseph Boudou

postdoc, IRIT, Toulouse University
Verified email at irit.fr
Cited by 162
computational logic automated reasoning modal logic dynamic logic
Bruno Lopes

Bruno Lopes

Universidade Federal Fluminense
Verified email at ic.uff.br
Cited by 160
Logic Modal logic Proof theory Dynamic logic Automated reasoning
Leandro Rafael Moreira Gomes

Leandro Rafael Moreira Gomes

CRIStAL, Université de Lille
Verified email at univ-lille.fr
Cited by 37
Dynamic logic semantics of programming languages Kleene algebras with tests differential privacy Hoare logic