Muchos sistemas de lógica modal cuantificada no pueden caracterizarse por el conocido análisis semántico de mundos posibles de Kripke. Este libro muestra cómo pueden caracterizarse por una "semántica admisible" más general utilizando modelos en los que existe una restricción sobre qué conjuntos de mundos cuentan como proposiciones. Esto requiere una nueva interpretación de los cuantificadores que tenga en cuenta la admisibilidad de las proposiciones. El autor arroja nueva luz sobre la célebre Fórmula Barcan, cuyo papel se convierte en el de legitimar la interpretación kripkeana de la cuantificación. La teoría se elabora para sistemas con cuantificadores que van sobre objetos reales y sobre todas las posibilidades y para lógicas con predicados de existencia e identidad y descripciones definidas. El capítulo final desarrolla una nueva "semántica de cobertura" admisible para la lógica relevante proposicional y cuantificada adaptando ideas de la semántica KripkeâJoyal para la lógica intuicionista en la teoría topos. Este libro es para lógicos matemáticos o filosóficos, informáticos y lingüistas. Idioma: Inglés