Open AccessTonal Progressions Identification Through Kripke Semantics
Author(s) -
F. J. L. Aragão
Publication year - 2021
Publication title -
musmat
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2526-3757
DOI - 10.46926/musmat.2021v5n1.80-88
Subject(s) - semantics (computer science) , kripke semantics , mathematics , computer science , linguistics , philosophy , artificial intelligence , programming language , intermediate logic , description logic