George Metcalfe

George Metcalfe

Professor of Mathematics, University of Bern
Verified email at unibe.ch
Cited by 2302
Proof Theory Universal Algebra Non-Classical Logic Algebraic Logic
Yanjing Wang (王彦晶)

Yanjing Wang (王彦晶)

Professor of Logic, Peking University
Verified email at pku.edu.cn
Cited by 1596
Modal Logic Non-classical Logic Logics for Artificial Intelligence Formal Methods Formal Semantics
Thomas C. King

Thomas C. King

Verified email at travtus.com
Cited by 738
Deontic Logic Non-classical Logic Legal Reasoning AI and Law AI Ethics
Zhiguang Zhao

Zhiguang Zhao

Taishan University
Verified email at tudelft.nl
Cited by 433
non-classical logic modal logic algebraic logic correspondence theory
Majid Alizadeh

Majid Alizadeh

Associate professor, university of Tehran
Verified email at ut.ac.ir
Cited by 251
Non-classical logic logic in CS Modal logic algebraic logic
Adrien Revault d'Allonnes

Adrien Revault d'Allonnes

Lecturer, Université de Paris 8, LIASD, EA 4383
Verified email at univ-paris8.fr
Cited by 194
Artificial Intelligence Fuzzy Logic Non-classical logic Soft Computing Computational Intelligence
Andrew Tedder

Andrew Tedder

Department of Philosophy I, Ruhr University Bochum
Verified email at cs.cas.cz
Cited by 109
Non-Classical Logic Metaphysics Early Modern Philosophy
Yotaro Nakayama

Yotaro Nakayama

Nihon Unisys, Ltd.
Verified email at unisys.co.jp
Cited by 98
database management non-classical logic rough set
María del Rosario Martínez-Ordaz

María del Rosario Martínez-Ordaz

Postdoctoral fellow
Cited by 46
philosophy of science philosophical logic non-classical logic integrated history and philosophy
Lotfollah Nabavi

Lotfollah Nabavi

Professor of philosophical Logic
Cited by 38
modal logic non classical logic history of logic philosophical and metodology
1 - 10