Works matching IS 17550203 AND DT 2012 AND VI 5 AND IP 4


Results: 13
    1
    2
    3
    4
    5
    6
    7

    CANONICAL FORMULAS FOR wK4.

    Published in:
    Review of Symbolic Logic, 2012, v. 5, n. 4, p. 731, doi. 10.1017/S1755020312000251
    By:
    • BEZHANISHVILI, GURAM;
    • BEZHANISHVILI, NICK
    Publication type:
    Article
    8
    9
    10
    11
    12
    13

    REVISION REVISITED.

    Published in:
    Review of Symbolic Logic, 2012, v. 5, n. 4, p. 642, doi. 10.1017/S175502031100030X
    By:
    • HORSTEN, LEON;
    • LEIGH, GRAHAM E.;
    • LEITGEB, HANNES;
    • WELCH, PHILIP
    Publication type:
    Article