Works matching IS 00223611 AND DT 2005 AND VI 34 AND IP 5/6


Results: 7
    1
    2
    3
    4
    5

    Proof Analysis in Modal Logic.

    Published in:
    Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 507, doi. 10.1007/s10992-005-2267-3
    By:
    • Negri, Sara
    Publication type:
    Article
    6
    7

    Unifying Quantified Modal Logic.

    Published in:
    Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 621, doi. 10.1007/s10992-005-3664-3
    By:
    • Garson, James
    Publication type:
    Article