PanLinx
čeština
ces-000
nemonotónní logika
English
eng-000
nonmonotonic logic
PanLex