A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine-assisted meta-reasoning. While the focus has originally been on logics with a proof theoretic semantics, we have recently shown how to dene model theoretic logics in LF as well. We have used this to dene new institutions in the Heterogeneous Tool Set in a purely declarative way. It is desirable to extend this model theoretic representation of logics to the level ofdoi:10.1007/978-3-642-28412-0_9 fatcat:x4jaqvw3izgudfzwu3j2nrur7y