Title: Three papers on logic