PanLinx
hrvatski
hrv-000
logike znanja
English
eng-000
logics of knowledge
PanLex