1Arnon Avron. Gentzen-type systems, resolution and tableaux[J] 1993,Journal of Automated Reasoning(2):265～281 被引量：1
2Melvin Fitting. First-order modal tableaux[J] 1988,Journal of Automated Reasoning(2):191～213 被引量：1
同被引文献22
1Smullyan R. First-Order Logic. Springer,NewYork,1968 被引量：1
2Hahnle R, Kernig W. Verification of Switch Level Designs with Many-Valued Logic. In A. Voronkov,ed. proc. LPAR'93, St. Petersburg, Russia, volume 698 of LNCS, Springer Verlag, 1993.158～169 被引量：1
3Kerber M, Kohlhase M. A Resolution Calculus for Presuppositions. In Proc. 12th European Conference on Artifical Intelligence,ECAI-96 ,John Wiley & Sons, 1996. 375～379 被引量：1
4Messing B. Combining Knowledge with Many-Valued Logics. Data Knowledge Engineering ,to appear, 1997 被引量：1
5Pearl J. Probabilistic Reasoning in Intelligent System:Networks of Plausible Inference. Morgan Kaufmann, revised second edition,1994 被引量：1
6Fitting M C. Intuitionistic Logic Model Theory and Forcing.North-Holland PUblisbing Co. , Amsterdam. 1969 被引量：1
7Kanger S G. Provability in Logic (Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, 1 ). Almqvist and Wiksell. Stockholm, 1957 被引量：1
8Kripke S. A Completeness Theorem in Modal Logic. Journal of Symbolic Logic, 1959,24:1 ～ 14 被引量：1
9Kripke S. Semantical Considerations on Modal logics. Acta Philosophica Fennica. Modal and Many-Valued Logics,1963. 83～94 被引量：1
10Fitting M C. Tableau Methods of Proof for Modal Logics. Notre Dame Journal of Formal Logic, 1972,13: 237～247 被引量：1
