Title: Arithmetical realizations of modal formulas
First published: 1997
Subjects: Modality (Logic), Proof theory
LC classification: QA9.46 .S77 1997