Un principe de résolution en logique modale
RAIRO. Inform. théor., 18 2 (1984) 161-170
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Finite non-deterministic semantics for some modal systems
Marcelo E. Coniglio, Luis Fariñas del Cerro and Newton M. PeronJournal of Applied Non-Classical Logics 25 (1) 20 (2015)
https://doi.org/10.1080/11663081.2015.1011543
The Analysis of Rights (L'Analyse Des Droits)
Matthieu S. F. BennetSSRN Electronic Journal (2007)
https://doi.org/10.2139/ssrn.1287172
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
Ricardo Caferra, St�phane Demri and Michel HermentStudia Logica 52 (2) 197 (1993)
https://doi.org/10.1007/BF01058389
COLOG-88
G. MintsLecture Notes in Computer Science, COLOG-88 417 198 (1990)
https://doi.org/10.1007/3-540-52335-9_55
MFDBS 87
Pascal OstermannLecture Notes in Computer Science, MFDBS 87 305 181 (1988)
https://doi.org/10.1007/3-540-19121-6_10
A Modal Herbrand's Property
Marta Cialdea and Luis Fariñas del CerroMathematical Logic Quarterly 32 (31-34) 523 (1986)
https://doi.org/10.1002/malq.19860323106
8th International Conference on Automated Deduction
Martín Abadi and Zohar MannaLecture Notes in Computer Science, 8th International Conference on Automated Deduction 230 172 (1986)
https://doi.org/10.1007/3-540-16780-3_89
Logic Programming
Isaac Balbin and Koenraad LecotLogic Programming 10 (1985)
https://doi.org/10.1007/978-94-009-5044-3_2