«Soy Filetas de Cos.
Me hicierón morir "El mentiroso"
y las noches de insomnio por su causa»
EXTENSIÓN: 🔎
L₁ es una extensión de L₂ si contiene nuevo vocabulario, además del vocabulario compartido con L₂, y tiene nuevos teoremas/inferencias válidas que esencialmente suponen el nuevo vocabulario. Una extensión de la lógica clásica es la lógica extendida.