6 works on record
Classical propositional operators
Logicism, intuitionism, and formalism
Advances in Modal Logic, Volume 2
An essay in classical modal logic
Advances in Modal Logic
Truth or Consequences
