H. J. Ohlbach (1991), Computer support for the development and investigation of logics. J. of the IGPL 4,1, pp 109-127. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
SCAN and Systems of Conditional Logic - Herzig (1996) (Correct)
....and postulats for belief revision, in the sense that there are the same general principles. There have been given translations between the respective general principles (or postulates) 3, 8, 16] These postulates correspond to the normative aspect of the respective notions. The SCAN algorithm [11, 19] has been proposed for second order quantifier elimination. In particular it can be applied to find correspondence axioms for systems of modal logic. Given a basic system, SCAN permits to automatically find semantical conditions that correspond to extensions of that system by supplementary axioms. ....
H. J. Ohlbach (1991), Computer support for the development and investigation of logics. J. of the IGPL 4,1, pp 109-127.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC