DOL 1.1 RTF Avatar
  1. OMG Issue

DOL11 — change characterization of CL

Open Closed All
  • Key: DOL11-2
  • Status: open  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    CL is characterized as "has second-order features". It would be better to characterize it as a "has some features like first-order logic
    with induction"
  • Reported: DOL 1.0 — Thu, 21 Dec 2017 19:21 GMT
  • Updated: Thu, 21 Dec 2017 19:22 GMT