Title: Two conventionalistic theories of logical truth