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
Interests: mathematical logic; logic in artificial intelligence; logics of multi-agent systems; logic and game theory; logic in computer science
Interests: rationality; uncertain reasoning; judgement; decision-making; belief revision; cognition; human machine interaction; experimental research
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
Interests: non-classical logics; philosophical logic; philosophy of science; philosophy of medicine; (formal) epistemology and pragmatics
Interests: non-classical logics; proof theory; logic for artificial intelligence
Interests: non-classical logics; paraconsistent logics; non-deterministic semantics; algebraic semantics; combination of logics
Interests: modal logic
Interests: fuzzy sets; fuzzy logic; formal concept analysis; rough sets; mathematical tools in computer science
Interests: logic; axiomatization; arithmetic; social choice theory; voting; elections; philosophy of language
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: mathematical fuzzy logic; fuzzy inference systems; generalized and fuzzy quantifiers; aggregation operators on ordered structures
Special Issues, Collections and Topics in MDPI journals
Interests: games, strategies and logics; knowledge and belief; social choices; social cognition; reasoning in individuals with ASD
Interests: philosophical logic; non-classical logic; modal logic; metaphysics
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
Interests: descriptive set theory; forcing; nonstandard analysis
Special Issues, Collections and Topics in MDPI journals
Interests: logic and argumentation theory
Interests: logic in AI; explainable AI; ethical and legal AI
Interests: logics for rational agency; preference dynamics; logic for social networks
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: reasoning; deductive reasoning; logical reasoning; formal semantics; logic; formal logic; semantics; theory of computation; language; concepts
Interests: logical connectives; experimental investigations of discourse connectives
Interests: AI; knowledge representation; reasoning; logic
Interests: proof theory; concurrency theory; ecumenical systems; game semantics; logical frameworks; linear logic; modal logics; intersection types; lambda-calculus
Interests: logic in computer science; logic in artificial intelligence; non-classical logics; philosophy of computer science
Interests: theoretical computer science; logic; category theory; computational linguistic; artificial intelligence
Interests: non-classical logic; decision-making; history of logic; cognition; unconventional computing; artificial intelligence
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
2. Institute of Mathematics and CS, University of Latvia, LV-1586 Riga, Latvia
Interests: fuzzy topology; fuzzy set theory; fuzzy categories
Special Issues, Collections and Topics in MDPI journals
Interests: formal methods; computational logic; automated theorem proving and computer security; modelling aspects of computational systems
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