40 research outputs found

    Admissibility of Π<sub>2</sub>-inference rules: Interpolation, model completion, and contact algebras

    Get PDF
    We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to the case of symmetric implication calculus S2IC, where we also supply a finite axiomatization of the model completion of its algebraic counterpart, via the equivalent theory of contact algebras. Using this result we obtain a finite basis for admissible Π2-rules

    Non-classical modal logic for belief

    Get PDF
    corecore