Reviewed Work: Descriptive Set Theory and Forcing; How to Prove Theorems about Borel Sets the Hard Way Arnold W. Miller Studia Logica publishes original papers on various logical systems, which ...

Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...