[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 || The Completeness Problem for Modal Logic
Artemov, Sergei, Nerode, AnilVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-72056-2_1
File:
PDF, 338 KB
english, 2018