12 citations · 68 across the 25 of their papers we have counts for
1 paper · 2 filters
Tim S. Lyon, Eugenio Orlandelli
This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 w…