Lodaya K, Thiagarajan PS. A Modal Logic for a Subclass of Event Structures. DPB [Internet]. 1987 Jan. 1 [cited 2024 May 1];16(220). Available from: https://tidsskrift.dk/daimipb/article/view/7571