Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...

The veiled recession frame has served several times in the literature to provide examples of modal logics failing to have certain desirable properties. Makinson [4] was the first to use it in his ...

The field of graph theory has been around since 1736, when Leonhard Euler published an article on the subject of the Seven Bridges of Königsberg (in Prussia, today’s Kaliningrad in Russia).

Work disproving a 1995 theorem in graph theory has earned UBC mathematician Dr. Stephanie van Willigenburg and colleagues the 2023 David P. Robbins Prize. In its simplest form, graph theory involves ...

This paper presents a non-technical exposition of graph theory (more particularly, the theory of directed graphs or digraphs), followed by a survey of the literature on applications of graph theory in ...