Hay un bonito y simple de documento que resume las definiciones y propiedades de los fuertes de la lógica? Cuando digo fuerte lógica me refiero a algo como estacionaria de la lógica, o Magidor-Malitz cuantificador, $\cal L_{\kappa,\lambda}$, etc.
Lo que estoy buscando es un papel sin muchas pruebas (aunque preferiblemente con algunas pruebas, sólo para obtener la idea), que da las definiciones de las distintas extensiones de la lógica de primer orden, y describe sus propiedades (compacidad, integridad) y las diferencias.
Por supuesto, una combinación de varios artículos cortos también es motivo de satisfacción, pero lo que realmente desean evitar (por ahora) el largo y técnico de las exposiciones en cada una lógica.
Quiero decir que en este momento estoy particularmente interesado en los tres lógicas se mencionó anteriormente, el inmóvil lógica, MM-cuantificador, y $\cal L_{\kappa,\lambda}$ lógicas. Otros tipos de fuerte lógicas son muy bienvenida, pero esos tres son actualmente los principales puntos de interés.
