Open AccessAn Occurrence Description Logic
Author(s) -
Farshad Badie,
Hans Götzsche
Publication year - 2022
Publication title -
logičeskie issledovaniâ
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2022-28-1-142-156
Subject(s) - rotation formalisms in three dimensions , computer science , formal semantics (linguistics) , linguistics , syntax , description logic , modal logic , non classical logic , logical consequence , artificial intelligence , programming language , modal , mathematics , philosophy , chemistry , geometry , polymer chemistry