Referencias a lenguajes de programación basados ​​en lógicas condicionales.

Las lógicas condicionales son lógicas que aumentan la implicación lógica tradicional con operadores modales correspondientes a otras nociones de condición (por ejemplo, la condicional causal lee " A causa" B ", o condicionamiento probabilístico" A | B ", que dice" A dado B ").$A\; \square\!\!\!\!\to B$$A$$A|B$$A$$B$

Por lo general, estas lógicas se estudian teóricamente por modelos, pero me he preguntado acerca de sus aplicaciones para el diseño de lenguajes de programación (por ejemplo, para escribir acciones imperativas).

Apreciaría las referencias a su teoría de prueba (es decir, cálculo secuencial / deducción natural), o a lenguajes de programación con tipos basados ​​en este tipo de operadores modales.

¡Gracias!

EDITAR: La Enciclopedia de Filosofía de Stanford tiene una buena introducción al tema .

Verifique estas referencias:

Lenguajes de programación CondLP y CondLP +:

Gabbay, Giordano, Martelli, Olivetti, Sapino, Razonamiento condicional en programación lógica, Journal of Logic Programming, Volumen 44, Problemas 1-3, 1 de julio de 2000, páginas 37-74

Claudia, Oliveira, La implementación de CondLP, Lecture Notes in Computer Science, 1996, Volumen 1085/1996, 713-715

Gabbay, Giordano, Martelli, Olivetti, Programación lógica condicional, Proc. 11th Int. Conf. on Logic Programming, Santa Margherita Ligure, páginas 272–289, 1994.

Referencias a la teoría de la prueba:

Olivetti, Pozzato, Schwind, Un cálculo posterior y un probador de teoremas para lógicas condicionales estándar, Transacciones de ACM de diario en lógica computacional (TOCL), Volumen 8 Número 4, agosto de 2007

La iglesia podría ser el tipo de cosa que está buscando: es funcional (derivada del esquema), pero está diseñada con una semántica probabilística e implementa probabilidades condicionales usando "consulta" para hacer inferencia bayesiana. Discusión del condicionamiento en la Iglesia . Esta es (según tengo entendido) más o menos la operación principal en la mayoría de los programas de la Iglesia.

Para Matteo Mio: también podría estar interesado en el libro de Graham Priest, "Una introducción a la lógica no clásica", que se centra en la definición de diferentes tipos de condicionales.