Morley`s number of countable models
Monadic Second-Order Logic with Arbitrary Monadic Predicates⋆
Monadic Second Order Logic and Automata on Infinite Words
monadic second order logic
Monadic Predicate Logic is Decidable
MoL-2013-07 - Institute for Logic, Language and Computation
Modus ponens Modus ponendo ponens (the way that affirms by
Modus Ponens Defended
Modus ponens
Module III - Mendelian genetics and mating
MODULE I
Module 4: Propositional Logic Proofs
Module 31
Module 31
Module 31
Modular Sequent Systems for Modal Logic
Modular Construction of Complete Coalgebraic Logics
Modern Computer Hardware
Model-Checking One-Clock Priced Timed Automata
Model-Checking First-Order Logic Automata and Locality
