[ontoiop-forum] DOL finalisation

[Till Mossakowski]

Am 02.01.2018 um 16:00 schrieb rick:
> The DOL authors claim to "handle" sequence markers in HETS using "second
> order logic" which by conformance with MOF and fUML is outside the scope
> of DOL.
second-order logic is not outside the scope of DOL. DOL is a
meta-language that can be used for a variety of logics, provided they
can be formalised as an institution. Such logics include propositional
logic, OWL, Common Logic, first-order logic, second-order logic, modal
logics, hybrid logics, temporal logics, higher-order logics (also
variants including type constructors, subtypes and/or polymorphism),
intuitionistic logics, program logics, and many more.

Best, Till