An axiomatization for until and since over the reals without the IRR rule Mark Reynolds OriginalPaper Pages: 165 - 193
Quantified extensions of canonical propositional intermediate logics Silvio Ghilardi OriginalPaper Pages: 195 - 214
Completeness theorem for dummett's LC quantified and some of its extensions Giovanna Corsi OriginalPaper Pages: 317 - 335