Works matching Logic of relations


Results: 2220
    1
    2
    3
    4
    5
    6
    7
    8
    9

    Satisfiability for relation-changing logics.

    Published in:
    Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1443, doi. 10.1093/logcom/exy022
    By:
    • Areces, Carlos;
    • Fervari, Raul;
    • Hoffmann, Guillaume;
    • Martel, Mauricio
    Publication type:
    Article
    10
    11

    RELEVANCE LOGICS AND RELATION ALGEBRAS.

    Published in:
    Review of Symbolic Logic, 2009, v. 2, n. 1, p. 102, doi. 10.1017/S1755020309090145
    By:
    • Bimbó, Katalin;
    • Dunn, J. Michael;
    • Maddux, Roger D.
    Publication type:
    Article
    12
    13
    14
    15
    16

    GRAPH LOGICS WITH RATIONAL RELATIONS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/lmcs-9(3:1)2013
    By:
    • BARCELÓ, PABLO;
    • FIGUEIRA, DIEGO;
    • LIBKIN, LEONID
    Publication type:
    Article
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50