D. Basin, S. Matthews, and L. Vigan o. Natural Deduction for NonClassical Logics. Studia Logica, 60(1):119--160, 1998. Special issue on Natural Deduction edited by F. Pfenning and W. Sieg. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Normal Multimodal Logics With Interaction Axioms: A Tableau.. - Baldoni (2000) (3 citations) (Correct)
.... extend logics providing a labelling algebra that, in the case of modal logics, is defined as a binary first order theory which, axiomatizing the semantics notion of accessibility relations, allows one to represent and reason syntactically about the underlying Kripke structure of possible worlds [48, 7, 9]. As pointed out by these authors, one of the most attracting issues of labelled systems is the possibility of dealing with classes of modal logics in a uniform and modular way. This is of practical advantages in the study of computational properties of classes of modal logics [8] The work ....
D. Basin, S. Matthews, and L. Vigan o. Natural Deduction for NonClassical Logics. Studia Logica, 60(1):119--160, 1998. Special issue on Natural Deduction edited by F. Pfenning and W. Sieg.
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