Many-valued logic
MapReduce
Mark Twain
Mars
Martin Heidegger
Martin Hugo Löb
Marx
Material implication
Mathematical foundations
Mathematics
Maxwell John Cresswell
May
Meinong's Notion of Existence
Meinongianism
Melvin Fitting
Mentalism
Mentalist
Metaphysics
Metaphysics, A Contemporary Introduction
Michael Dummett
Microsoft
Miletus
Mind and the World Order: Outline of a Theory of Knowledge
Modal Axiom 4
Modal Axiom 5
Modal Axiom B
Modal Axiom Convergent
Modal Axiom D
Modal Axiom Geach
Modal Axiom Gödel-Löb
Modal Axiom K
Modal Axiom Sobocinsky
Modal Axiom T
Modal Axiom Trivail
Modal Axiom Verum
Modal Logic
Modal Logics between S4 and S5
Modal System B
Modal System D
Modal System K
Modal System S3
Modal System S4
Modal System S5
Modal System T
Modal Theorem 4.1
Modal Theorem 4.2
Modal Theorem 5.1
Modal Theorem B.1
Modal Theorem D.1
Modal Theorem K.1
Modal Theorem K.2
Modal Theorem K.3
Modal Theorem K.4
Modal Theorem K.5
Modal Theorem T.1
Modal Theorem T.2
Modal algebra
Model existence theorem
Model theorists
Model theory
Modern Logicians
Mohammad ibn Musa al-Khwarizmi
Monday
Monotonicity
Monotonicity of entailment
Multiple-valued logic
machine learning
magma
magma
magnetism
many-valued
materialism
math
mathematical constructions
mathematical logic
matrix
mechanism
mereology
metalanguage
modernism
modus ponendo ponens
modus tollendo tollens
molten
monism
monk
monoid
monopoly
monotonicity
mysticism