Discusión del usuario:Dezaxa

Bienvenido

¡Bienvenido a Wikipedia! Espero que disfrutes de la enciclopedia y quierasquedarte. Como primer paso, te recomendamos leer laIntroducción.

Si tienes alguna pregunta, no dudes en preguntarme en mi página de discusión. Estaré encantado de ayudarte. O bien, puedes plantear tu pregunta en la página de ayuda para nuevos colaboradores .

Aquí hay algunos recursos más para ayudarle a explorar y contribuir a la enciclopedia más grande del mundo...

Encontrando tu camino:

¿Necesitar ayuda?

Cómo puedes ayudar:

Consejos adicionales...

Dezaxa, buena suerte y diviértete. -- Aboutmovies ( discusión ) 23:16 4 jul 2012 (UTC) [ responder ]

Cubo de lógicas modales

Veo que has añadido un diagrama de muchas de las lógicas modales más importantes al artículo sobre lógica modal . Creo que una ayuda visual de este tipo es algo bueno. ¿De dónde sacaste el diagrama? Reconozco que la mayor parte es igual al "cubo" de lógicas modales presentado en Hughes y Cresswell, pero este diagrama añade la lógica de demostrabilidad K4W. — Charles Stewart (discusión) 07:58 21 ene 2021 (UTC) [ responder ]

Creé el diagrama desde cero usando Visio. Me inspiré en un diagrama similar en el artículo de SEP sobre lógica modal, pero creo que el mío es mejor. Tiene flechas para mostrar la relación de contención; usa T en lugar de M para la lógica modal que es K+T, que creo que es más común; e incluye K4W. Decidí incluir K4W solo por su importancia. En mi copia de Hughes y Cresswell hay un diagrama mucho más detallado en la página 367 en el capítulo Axiomas, reglas, sistemas. Verifiqué que mi diagrama es consistente con H&C, pero no creo que valga la pena reproducir todos los de ellos porque incluye muchas lógicas poco utilizadas. Dezaxa (discusión) 10:55 21 ene 2021 (UTC) [ responder ]