Claes Strannegård

• Arithmetical realizations of modal formulas