@inproceedings{5ad852473c8d418aaa3d4678e8848fd7,
title = "Modal provability foundations for negation by failure",
author = "Gabbay, {D. M.}",
note = "Funding Information: 1T his research was supportedb y the Sciencea nd EngineeringR esearch Councilu nderg rantG R/D/5939.7 as part of the ALVEYp roject' Pure Logic LanguageI KBS/I70'a nd by the NationalS cienceF oundationu nderg rant IST-8505586. I am gratefult o L Terracini,J ohn Shepherdsona nd to the two anonymousr eferees for valuable criticism. Alsot hanks to L Lazarte for reading earlierv ersionso f the manuscript.; International Workshop on Extensions of Logic Programming, 1989 ; Conference date: 08-12-1989 Through 10-12-1989",
year = "1991",
doi = "10.1007/bfb0038695",
language = "אנגלית",
isbn = "9783540535904",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "179--222",
editor = "Peter Schroeder-Heister",
booktitle = "Extensions of Logic Programming - International Workshop, Proceedings",
address = "גרמניה",
}