Works matching IS 00393215 AND DT 2006 AND VI 84 AND IP 1


Results: 7
    1
    2
    3
    4
    5

    On Dynamic Topological and Metric Logics.

    Published in:
    Studia Logica, 2006, v. 84, n. 1, p. 129, doi. 10.1007/s11225-006-9005-x
    By:
    • Konev, B.;
    • Kontchakov, R.;
    • Wolter, F.;
    • Zakharyaschev, M.
    Publication type:
    Article
    6
    7

    FOIL Axiomatized.

    Published in:
    Studia Logica, 2006, v. 84, n. 1, p. 1, doi. 10.1007/s11225-006-9000-2
    By:
    • Fitting, Melvin
    Publication type:
    Article