Journal of Logic and Computation · 2005 · 56 citations · 0 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicFirst-order LogicModal LogicModal SemanticsNon-classical LogicRule-based RepresentationAdmissible RulesAdmissible SetsNormal Modal Logic
We construct explicit bases of admissible rules for a representative class of normal modal logics (including the systems K4, GL, S4, Grz, and GL.3), by extending the methods of S. Ghilardi and R. Iemhoff. We also investigate the notion of admissible multiple conclusion rules.