Relational dual tableaux for interval temporal logics

    Journal of Applied Non-Classical Logics, pp. 251-278, 2006.

    Cited by: 5|Bibtex|Views0|Links
    EI
    Keywords:
    temporal logicmodal logicinterval temporal logicinterval logic

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments