3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
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…