Works matching IS 17550203 AND DT 2022 AND VI 15 AND IP 2


Results: 12
    1
    2
    3
    4
    5
    6

    BISIMULATIONS FOR KNOWING HOW LOGICS.

    Published in:
    Review of Symbolic Logic, 2022, v. 15, n. 2, p. 450, doi. 10.1017/S1755020321000101
    By:
    • FERVARI, RAUL;
    • VELÁZQUEZ-QUESADA, FERNANDO R.;
    • WANG, YANJING
    Publication type:
    Article
    7

    EPISTEMIC MULTILATERAL LOGIC.

    Published in:
    Review of Symbolic Logic, 2022, v. 15, n. 2, p. 505, doi. 10.1017/S1755020320000313
    By:
    • INCURVATI, LUCA;
    • SCHLÖDER, JULIAN J.
    Publication type:
    Article
    8
    9
    10
    11
    12

    MATHEMATICAL RIGOR AND PROOF.

    Published in:
    Review of Symbolic Logic, 2022, v. 15, n. 2, p. 409, doi. 10.1017/S1755020319000443
    By:
    • HAMAMI, YACIN
    Publication type:
    Article