BDBComp
Parceria:
SBC
Normal Modal Resolution: Preliminary Results

Cláudia NalonClare Dixon

We present a clausal resolution-based method for normal modal logics. Differently from other approaches, where inference rules are based on the syntax of a particular set of axioms, we focus on the restrictions imposed on the binary accessibility relation for each particular normal logic.

http://www.lbd.dcc.ufmg.br/colecoes/lsfa/2006/004.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD