SHAWN MICHAEL STANDEFER2021-11-262021-11-262022-01-01978-3-030-71429-1978-3-030-71430-722112758https://scholars.lib.ntu.edu.tw/handle/123456789/587921The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.Collection frames | Frame theory | Operational semantics | Relevant logics | Semilattice semanticsbook part10.1007/978-3-030-71430-7_72-s2.0-85116104250https://api.elsevier.com/content/abstract/scopus_id/85116104250