Open AccessAlgorithmic Correspondence for Modal Logic
Author(s) -
Zafer Özdemir
Publication year - 2022
Publication title -
osmaniye korkut ata üniversitesi fen bilimleri enstitüsü dergisi (online)
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2687-3729
DOI - 10.47495/okufbed.981433
Subject(s) - physics , combinatorics , mathematics