The Logic of Provability

The subject of this work is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and vi... » 

The subject of this work is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. «