Hierarchies of modal and temporal logics with reference pointers

Valentin Goranko1
1Department of Mathematics, Rand Afrikaans University, Johannesburg, South Africa

Tóm tắt

Từ khóa


Tài liệu tham khảo