Applied logic may refer to:
Predicate logic, a formal system in mathematical logic Applied Logic Corporation, a timesharing company headquartered in Princeton, New Jersey Formal methods, techniques for the specification, development, analysis, and verification of software and hardware systems