Robert M Solovay

1. Provability interpretations of modal logic
   1976/09/01 by Robert M. Solovay, Robert M Solovay · 23 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems