Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
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
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
postdoc, IRIT, Toulouse University
Verified email at irit.fr
Cited by 162
computational logic
automated reasoning
modal logic
dynamic logic
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
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
Privacy
Terms
Help
About Scholar
Search help