著者：Valentin Goranko
出版社： Cambridge University Press
発売日： 2023年09月30日
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assu……続きを見る
