2 papers
math.LO2025
Functional monadic ortholattices and locally finite -free polyadic ortholattices
Chun-Yu Lin, Joseph McDonald
In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-f…
cs.LO2025
Graded Courrent PDL
Chun-Yu Lin
Propositional Dynamic Logic, PDL, is a modal logic designed to formalize the reasoning about programs. By extending accessibility between states to states and state sets, concurren…