论文信息 - Un Principe de Résolution en Logique Modale

Un Principe de Résolution en Logique Modale

Les applications de la logique modale sont liees aux raisonnements sur les programmes. Presentation d'un systeme de demonstration de theoremes de type resolution. Les deux versions de la propriete de Herbrand sont prouvees ainsi que la completude du systeme

Luis Fariñas del Cerro | L. F. D. Cerro

[1] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[3] Pavel Tichý. On de dicto modalities in quantified S5 , 1973, J. Philos. Log..

[4] Ruth C. Barcan. A Functional calculus of first order based on strict implication , 1946, Journal of Symbolic Logic.

[5] Rudolf Carnap. Modalities and Quantification , 1946, J. Symb. Log..

[6] H. B. Enderton,et al. Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic , 1972 .