2 papers
cs.LO2024
Two-dimensional Kripke Semantics I: Presheaves
G. A. Kavvos
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…
cs.LO2010
A Tree Logic with Graded Paths and Nominals
Everardo Barcenas, Pierre Geneves, Nabil Layaida +1
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so…