Editorial Board
Please note that the order in which the Editors appear on this page is alphabetical, and follows the structure of the editorial board presented on the MDPI website under information for editors: editorial board responsibilities.
Members
Logic and Theoretical Philosophy, Stockholm University, Stockholm, Sweden
Interests: mathematical logic; logic in artificial intelligence; logics of multi-agent systems; logic and game theory; logic in computer science
Interests: mathematical logic; logic in artificial intelligence; logics of multi-agent systems; logic and game theory; logic in computer science
Lab Cognit Humaine & Artificielle CHArt, Université Paris 8, 93526 Saint-Denis, France
Interests: rationality; uncertain reasoning; judgement; decision-making; belief revision; cognition; human-machine interaction; experimental research
Special Issues, Collections and Topics in MDPI journals
Interests: rationality; uncertain reasoning; judgement; decision-making; belief revision; cognition; human-machine interaction; experimental research
Special Issues, Collections and Topics in MDPI journals
Department of Philosophy, Federal University of Rio de Janeiro, 20051-070 Rio de Janeiro, Brazil
Interests: universal logic; square of opposition; history and philosophy of logic; truth; critical thinking; semiotics; aesthetics; theology; imagination, emotion, understanding
Special Issues, Collections and Topics in MDPI journals
Interests: universal logic; square of opposition; history and philosophy of logic; truth; critical thinking; semiotics; aesthetics; theology; imagination, emotion, understanding
Special Issues, Collections and Topics in MDPI journals
School of Philosophy, Wuhan University, Wuhan 430062, China
Interests: logic; history and philosophy of logic; philosophy of language; epistemology; American pragmatism
Interests: logic; history and philosophy of logic; philosophy of language; epistemology; American pragmatism
Institute of Logic and Computation, Technische Universität Wien, A-1040 Vienna, Austria
Interests: non-classical logics; proof theory; logic for artificial intelligence
Interests: non-classical logics; proof theory; logic for artificial intelligence
Institute of Philosophy and the Humanities, University of Campinas, Campinas 13083-970, Brazil
Interests: non-classical logics; paraconsistent logics; non-deterministic semantics; algebraic semantics; combination of logics
Interests: non-classical logics; paraconsistent logics; non-deterministic semantics; algebraic semantics; combination of logics
School of Mathematics, University of the Witwatersrand, Johannesburg WITS 2050, South Africa
Interests: modal logic
Interests: modal logic
Department of Mathematics, Cadiz University, 11002 Cadiz, Spain
Interests: fuzzy sets; fuzzy logic; formal concept analysis; rough sets; mathematical tools in computer science
Interests: fuzzy sets; fuzzy logic; formal concept analysis; rough sets; mathematical tools in computer science
Department of Philosophy, Tilburg School of Humanities and Digital Sciences, Tilburg University, 5037 AB Tilburg, The Netherlands
Interests: logic; axiomatization; arithmetic; social choice theory; voting; elections; philosophy of language
Interests: logic; axiomatization; arithmetic; social choice theory; voting; elections; philosophy of language
Simion Stoilow Institute of Mathematics of the Romanian Academy, 010702 Bucharest, Romania
Interests: model theory and category theory as such and with applications to computing; experimental mathematics; formal specification and verification
Special Issues, Collections and Topics in MDPI journals
Interests: model theory and category theory as such and with applications to computing; experimental mathematics; formal specification and verification
Special Issues, Collections and Topics in MDPI journals
Computer Science Unit, Indian Statistical Institute, Chennai 600 029, India
Interests: games, strategies and logics; knowledge and belief; social choices; social cognition; reasoning in individuals with ASD
Interests: games, strategies and logics; knowledge and belief; social choices; social cognition; reasoning in individuals with ASD
Faculty of Arts, University of Auckland, Auckland 1010, New Zealand
Interests: philosophical logic; non-classical logic; modal logic; metaphysics
Interests: philosophical logic; non-classical logic; modal logic; metaphysics
Department of Philosophy, University of California Berkeley, Berkeley, CA 94720-2390, USA
Interests: formal philosophy and logic; especially modal logic; intuitionistic logic; epistemic logic and epistemology; logic and natural language; logic and probability; logic and social choice theory
Special Issues, Collections and Topics in MDPI journals
Interests: formal philosophy and logic; especially modal logic; intuitionistic logic; epistemic logic and epistemology; logic and natural language; logic and probability; logic and social choice theory
Special Issues, Collections and Topics in MDPI journals
Faculty of Philosophy, University of Groningen, 9712 GL Groningen, The Netherlands
Interests: logic and argumentation theory
Interests: logic and argumentation theory
School of Philosophy, West Zijingang Campus, Zhejiang University, Hangzhou 310058, China
Interests: logic in AI; explainable AI; ethical and legal AI
Interests: logic in AI; explainable AI; ethical and legal AI
Department of Philosophy, Tsinghua University, Beijing 100084, China
Interests: logics for rational agency; preference dynamics; logic for social networks
Interests: logics for rational agency; preference dynamics; logic for social networks
Philosophy Section, and Computational Philosophy Laboratory, Department of Humanities, University of Pavia, 27100 Pavia, Italy
Interests: epistemology; science, technology, and human values; abductive reasoning; critical thinking; non-standard logics; philosophy of medicine; history and philosophy of geometry; violence, morality and religion
Interests: epistemology; science, technology, and human values; abductive reasoning; critical thinking; non-standard logics; philosophy of medicine; history and philosophy of geometry; violence, morality and religion
Department of Philosophy, Federal University of Santa Catarina (UFSC), Florianópolis 88040-900, Brazil
Interests: reasoning; deductive reasoning; logical reasoning; formal semantics; logic; formal logic; semantics; theory of computation; language; concepts
Interests: reasoning; deductive reasoning; logical reasoning; formal semantics; logic; formal logic; semantics; theory of computation; language; concepts
Institute of Logic and Computation, Technische Universität Wien, 1040 Vienna, Austria
Interests: AI; knowledge representation; reasoning; logic
Interests: AI; knowledge representation; reasoning; logic
Computer Science Department, University College London, London WC1E 6BT, UK
Interests: proof theory; concurrency theory; ecumenical systems; game semantics; logical frameworks; linear logic; modal logics; intersection types; lambda-calculus
Interests: proof theory; concurrency theory; ecumenical systems; game semantics; logical frameworks; linear logic; modal logics; intersection types; lambda-calculus
Department of Philosophy, University of Milan, Milan, Italy
Interests: logic in computer science; logic in artificial intelligence; non-classical logics; philosophy of computer science
Interests: logic in computer science; logic in artificial intelligence; non-classical logics; philosophy of computer science
PPLV Group, Department of Computer Science, University College London, London WC1E 6BT, UK
Interests: theoretical computer science; logic; category theory; computational linguistic; artificial intelligence
Interests: theoretical computer science; logic; category theory; computational linguistic; artificial intelligence
Department of Cognitive Science and Mathematical Modelling, University of Information Technology and Management in Rzeszow, 35-225 Rzeszow, Poland
Interests: non-classical logic; decision-making; history of logic; cognition; unconventional computing; artificial intelligence
Interests: non-classical logic; decision-making; history of logic; cognition; unconventional computing; artificial intelligence
Department of Mathematics and Computer Science, University of Ferrara, Ferrara, Italy
Interests: artificial intelligence; theoretical computer science; knowledge representation; computation; verification; formal verification; model checking; automata theory; logical reasoning; knowledge bases; formal methods; formal semantics; complexity theory; logic programming; automata; computability theory; model theory; formal languages; mathematical logic; description logics; formal logic; modal logic; theorem proving; computational logic; temporal logic; automated reasoning; proof theory; applied logic; abstract interpretation; satisfiability modulo theories
Interests: artificial intelligence; theoretical computer science; knowledge representation; computation; verification; formal verification; model checking; automata theory; logical reasoning; knowledge bases; formal methods; formal semantics; complexity theory; logic programming; automata; computability theory; model theory; formal languages; mathematical logic; description logics; formal logic; modal logic; theorem proving; computational logic; temporal logic; automated reasoning; proof theory; applied logic; abstract interpretation; satisfiability modulo theories
Department of Mathematics, Instituto Superior Técnico, Universidade de Lisboa, 1049-001 Lisboa, Portugal
Interests: logics and theories and their combination (e.g., meet, importing, fibring); properties of logics and their preservation, including decidability; deductive systems; evidence, probability, and quantum logics
Special Issues, Collections and Topics in MDPI journals
Interests: logics and theories and their combination (e.g., meet, importing, fibring); properties of logics and their preservation, including decidability; deductive systems; evidence, probability, and quantum logics
Special Issues, Collections and Topics in MDPI journals
Department of Philosophy, Kryvyi Rih State Pedagogical University, 50086 Kryvyi Rih, Ukraine
Interests: logic and philosophy
Interests: logic and philosophy
College of Engineering & Computer Science, The Australian National University, Canberra, ACT 2600, Australia
Interests: formal methods; computational logic; automated theorem proving and computer security; modelling aspects of computational systems
Interests: formal methods; computational logic; automated theorem proving and computer security; modelling aspects of computational systems
Laboratoire d'Informatique Avancée de Saint-Denis (LIASD), Université Paris 8, Paris, France
Interests: logic-based knowledge representation and reasoning in artificial intelligence; non-classical logics, modal logic, description logics, formal ontologies; defeasible reasoning, belief change, reasoning about actions; automated theorem proving
Interests: logic-based knowledge representation and reasoning in artificial intelligence; non-classical logics, modal logic, description logics, formal ontologies; defeasible reasoning, belief change, reasoning about actions; automated theorem proving
