Una Introducción a la Lógica Modal
Las lógicas modales extienden la lógica clásica añadiéndole un elemento nuevo, la modalidad. Destaca Kripke como iniciador de la semántica de la misma. Las lógicas modales son un tipo de lógica no clásica, más concretamente pueden considerarse como una extensión de la lógica clásica a la cual se le añade un elemento, la modalidad, el … Read more