Un principe de résolution en logique modale
Open Access
- 1 January 1984
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 18 (2) , 161-170
- https://doi.org/10.1051/ita/1984180201611
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- The Modal Logic of ProgramsPublished by Defense Technical Information Center (DTIC) ,1979
- On de dicto modalities in quantified S5Journal of Philosophical Logic, 1973
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Modalities and QuantificationThe Journal of Symbolic Logic, 1946