logo móvil
Contáctanos

sobre fragmentos estrictamente positivos de lógicas modales con confluencia

Autores: Kikot, Stanislav; Kudinov, Andrey

Idioma: Inglés

Editor: MDPI

Año: 2022

Descargar PDF

Acceso abierto

Artículo científico
2022

sobre fragmentos estrictamente positivos de lógicas modales con confluencia


Categoría

Matemáticas

Subcategoría

Matemáticas generales

Palabras clave

Fragmentos
Lógicas modales
Axioma de confluencia
Unimodal
Bimodal
Axiomatización

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 24

Citaciones: Sin citaciones


Descripción
Axiomatizamos fragmentos estrictamente positivos de lógicas modales con el axioma de confluencia. Consideramos lógicas unimodales como , , y con confluencia unimodal, así como los productos de lógicas modales en el conjunto , que contienen confluencia bimodal. Mostramos que el impacto del axioma de confluencia unimodal en la axiomatización de fragmentos estrictamente positivos es bastante débil. En presencia de , simplemente desaparece y no contribuye a la axiomatización. Sin él, da lugar a una fórmula más débil . Por otro lado, la confluencia bimodal da lugar a fórmulas más complicadas como (que son superfluas en un producto si el factor correspondiente contiene ). También mostramos que la confluencia bimodal no puede ser capturada por ninguna de las implicaciones estrictamente positivas.

Otros recursos que podrían interesarte

Temas Virtualpro