Editorial Board
Members (30)

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

2. Institute for Logic, Language and Computation (ILLC), Department of Philosophy, University of Amsterdam, 1012 GC Amsterdam, The Netherlands
Interests: non-classical (relevant and paraconsistent) logics; non-normal modal and epistemic logics; the logic of suppositional thinking; logical paradoxes; the metaphysics of logic

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: 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