Lógicas condicionais são lógicas que aumentam a implicação lógica tradicional com operadores modais correspondentes a outras noções de condição (por exemplo, a condicional causal indica " A causa" B ", ou condicionamento probabilístico" A | B ", que lê" A dado B ").
Normalmente, essas lógicas são estudadas teoricamente em modelos, mas eu me perguntei sobre suas aplicações no design de linguagens de programação (por exemplo, para digitar ações imperativas).
Eu apreciaria referências à teoria da prova (ou seja, cálculo sequencial / dedução natural) ou a linguagens de programação com tipos baseados nesses tipos de operadores modais.
Obrigado!
EDIT: The Stanford Encyclopedia of Philosophy tem uma boa introdução ao assunto .