A Łukasiewicz-style refutation system for the modal logic S4 Tomasz Skura OriginalPaper Pages: 573 - 582
The deliberative stit: A study of action, omission, ability, and obligation John F. HortyNuel Belnap OriginalPaper Pages: 583 - 644