@article{ITA_1984__18_2_161_0, author = {Fari\~nas Del Cerro, Luis}, title = {Un principe de r\'esolution en logique modale}, journal = {RAIRO. Informatique th\'eorique}, pages = {161--170}, publisher = {EDP-Sciences}, volume = {18}, number = {2}, year = {1984}, mrnumber = {761515}, zbl = {0566.03007}, language = {fr}, url = {http://www.numdam.org/item/ITA_1984__18_2_161_0/} }
Fariñas Del Cerro, Luis. Un principe de résolution en logique modale. RAIRO. Informatique théorique, Tome 18 (1984) no. 2, pp. 161-170. http://www.numdam.org/item/ITA_1984__18_2_161_0/
1. Modalities and Quantification, J.S.L., vol. 11, 1946, p. 33-64. | MR | Zbl
,2. Symbolic Logic and Mechanical Theorems proving, Academic Press, 1973. | MR | Zbl
et ,3. An Introduction to Modal Logic, Methuen and co td, 1972. | Zbl
et ,4. A functional Calculus of First Order Based on Strict Implications, J.S.L., vol. 11, (1946), 1-16. | MR | Zbl
,5. The modal Logic of Programs N-AIM-330, Stanford Ail., 1979. | MR
et ,6. A Machine-Oriented Logic Based on the Resolution Principle, J.A.C.M., vol. 12, 1965, p. 23-41. | MR | Zbl
,7. On de Dicto Modalities in Quantified S5, J. of Philo. Logic 2, 1975, p. 387-392. | MR | Zbl
,8. Mathematics of Metamathematics, PWN Warszawa, 1963. | MR | Zbl
et ,