Decidabilidad de la preservación y límites de complejidad para lógicas combinadas
Autores: Caleiro, Carlos; Marcelino, Sérgio
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Decidabilidad de la preservación y límites de complejidad para lógicas combinadas
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Teoremas de transferencia
Lógicas combinadas
Decidibilidad
Lógicas proposicionales
Límites superiores de complejidad
Lógicas modales
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 30
Citaciones: Sin citaciones
Los teoremas de transferencia para lógicas combinadas proporcionan herramientas esenciales y perspicacia para razonar sobre sistemas lógicos complejos.
Descripción
Los teoremas de transferencia para lógicas combinadas proporcionan herramientas esenciales y perspicacia para razonar sobre sistemas lógicos complejos.