Logic and Knowledge: Selected Papers, Volume I