Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author="La Rosa, Elio" or (type any "bookEditor issueEditor" and editor="La Rosa, Elio") Add to list Journal Article A1 Modular non-deterministic semantics for T, TB, S4, S5 and more Pawel Pawlowski (UGent) and Elio La Rosa (2022) JOURNAL OF LOGIC AND COMPUTATION. 32(1). p.158-171