Works matching IS 00393215 AND DT 2004 AND VI 76 AND IP 1

Results: 5
    1
    2

    Temporalising Tableaux.

    Published in:
    Studia Logica, 2004, v. 76, n. 1, p. 91, doi. 10.1023/b:stud.0000027468.28935.6d
    By:
    • Roman Kontchakov;
    • Carsten Lutz;
    • Frank Wolter;
    • Michael Zakharyaschev
    Publication type:
    Article
    3
    4

    Combinator Logics.

    Published in:
    Studia Logica, 2004, v. 76, n. 1, p. 17, doi. 10.1023/b:stud.0000027466.68014.52
    By:
    • Lou Goble
    Publication type:
    Article
    5

    Inferential Intensionality.

    Published in:
    Studia Logica, 2004, v. 76, n. 1, p. 3, doi. 10.1023/b:stud.0000027465.12589.75
    By:
    • Grzegorz Malinowski
    Publication type:
    Article