Abstract | ||
---|---|---|
We discuss the extension of the LF logical framework with operators for manipulating worlds, as found in hybrid logics or in the HLF framework. To overcome the restrictions of HLF, we present a more general approach to worlds in LF, where the structure of worlds can be described in an explicit way. We give a canonical presentation for this system and discuss the encoding of logical systems, beyond the limited scope of linear logic that formed the main goal of HLF. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2631172.2631178 | LFMTP |
Keywords | Field | DocType |
modal logics,lambda calculus and related systems,specifying and verifying and reasoning about programs,logical frameworks,theory,hybrid logics | Non-classical logic,Algorithm,Theoretical computer science,Operator (computer programming),Linear logic,Mathematics,Logical framework,Encoding (memory) | Conference |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Taus Brock-Nannestad | 1 | 15 | 4.10 |
Nicolas Guenot | 2 | 1 | 1.71 |
Agata Murawska | 3 | 0 | 0.68 |
Carsten Schürmann | 4 | 15 | 2.89 |