User:Monupics/Books/A Catalog of Logics

A Catalog of Logics

 * Foundations
 * Logic
 * Metalogic
 * Possible world
 * Propositional calculus
 * First-order logic
 * Second-order logic
 * Higher-order logic
 * Extension by definitions


 * Modal Logics
 * Modal logic
 * Classical modal logic
 * Normal modal logic
 * Regular modal logic
 * Epistemic modal logic
 * Dynamic logic (modal logic)
 * Dynamic epistemic logic
 * Doxastic logic
 * Temporal logic
 * Deontic logic
 * Description logic
 * Interpretability logic
 * Relevance logic
 * Provability logic


 * Semantics of Logic
 * Semantics of logic
 * Kripke semantics
 * Kripke structure (model checking)
 * Formal concept analysis
 * Computation tree logic
 * Hilbert–Bernays provability conditions
 * Japaridze's polymodal logic
 * Set theory
 * List of logic symbols
 * Functional completeness
 * Modal operator
 * Truth table
 * Logical constant
 * Logical connective
 * Truth function
 * Negation
 * Logical disjunction
 * Logical graph
 * Truth value
 * Conjunction introduction
 * Conjunction elimination
 * Logical conjunction
 * Modal μ-calculus
 * Transition system