[ontoiop-forum] DOL finalisation

[Till Mossakowski]

Am 05.01.2018 um 19:55 schrieb rick:
>
>>> More important though is whether an institution of "second order logic"
>>> exists. 
>> yes, it does. See p.415 bottom of my paper
>> T. Mossakowski.  Relating CASL with Other Specification Languages: the
>> Institution Level.
>> Theoretical Computer Science, 286:367-475, 2002.
> Could you please provide the reference to the institution of "second
> order logic" in the following paper?
>
> http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.401.2100&rep=rep1&type=pdf
>
> I could not following the pagination from the reference you provided.
go to http://dx.doi.org/10.1016/S0304-3975(01)00369-3 and download the
PDF there
>>> And whether the required mapping from the abstract syntax of OMS
>>> to the signatures and sentences of "second order logic" exists. right?
>> Hets provides an abstract syntax for second-order logic (as part of the
>> CASL logic). The mapping to the institution is easy.
> Where is the mapping?
it has not been written down, but it is easy to do so.
> The institution for "second order logic" is in the "Relating CASL"
> paper, but not the typeclass polymorphism paper, right?
right

Best, Till