Não sei se irá ajudar ou atrapalhar, mas segue anexo uma brevíssima introdução aos conceitos das Lógicas Modais.
Só para registro, é da época de Aristóteles e desde a antiguidade foi objeto de estudo de Filósofos, Físicos e Matemáticos (e.g. Leibniz). Porém, foi somente em 1970 que se obteve uma semântica formal para sua sistematização. O responsável foi Saul Kripke, diz a lenda que ele tinha 17 anos de idade quando elaborou pela primeira vez a semântica para a lógica modal. Recentemente ele esteve na Unicamp.
A lógica modal (modalidades + a semântica de Kripke) apresenta sérios problemas filosóficos e matemáticos, mas devido a sua aplicabilidade o pessoal de computação parece ignorar tais "detalhes insignificantes".
Ate +,
Flavio.
Flavio,
obrigado pelas notas.
Abraços,
José