PanLinx
русский
rus-000
временная логика
English
eng-000
logic of process
English
eng-000
temporal logic
PanLex
