Suggestions for logic

The following packages have something in common with the package logic. The packages are ordered in decreasing similarity.

Package bguq: Improved quantifier stroke for Begriffsschrift packages
Package logix: Supplement to the Unicode math symbols
Package loggates: A small font for logic gates, and LaTeX support
Package circuit-macros: M4 macros for electric circuit diagrams
Package gene-logic: Typeset logic formulae, etc.
Package emf: Support for the EMF symbol
Package temporal-logic: Symbols for Temporal Logics
Package logicproof: Box proofs for propositional and predicate logic
Package syllogism: Typeset syllogisms in LaTeX
Package fodot: Helpful commands to work with the FODOT
Package circuitikz: Draw electrical networks with TikZ
Package pinoutikz: Draw chip pinouts with TikZ
Package tikzdotncross: Marking coordinates and crossing paths
Package tikzquads: A few shapes designed to be used with CircuiTikZ
Package tikz-timing: Easy generation of timing diagrams as TikZ pictures
Package begriff: Typeset Begriffschrift
Package frege: Typeset fregean Begriffsschrift
Package grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
Package luatruthtable: Generate truth tables of boolean values in LuaLaTeX
Package logictools: Additional tools for typesetting formal logic
Package ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
Package synproof: Easy drawing of syntactic proofs
Package truthtable: Automatically generate truth tables for given variables and statements
Package tikz-inet: Draw interaction nets with TikZ
Package gfnotation: Typeset Gottlob Frege’s notation in plain TeX
Package principia: Notations for typesetting the Principia Mathematica
Package register-transfer-level: Easily generate high-quality, publication-ready RTL diagrams
Package egpeirce: Draw existential graphs invented by Charles S. Peirce
Package fitch: LaTeX macros for Fitch-style natural deduction
Package prooftrees: Forest-based proof trees (symbolic logic)
Package turnstile: Typeset the (logic) turnstile notation