A modular hierarchy of logical frameworks

DOI10.1007/978-3-540-24849-1_1MaRDI QIDQ5712301zbMATH OpenOpenAlexFDO

Authors Robin Adams

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98246, https://research.chalmers.se/en/publication/504547

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1523046
• scientific article; zbMATH DE number 2110615
• scientific article; zbMATH DE number 4180831
• A module system for a programming language based on the LF logical framework
• Logical frameworks

Cited in

(13)

• A logical model of HCP
• Term-generic logic
• The future of logic: foundation-independence
• Syntactic Metatheory of Higher-Order Subtyping
• scientific article; zbMATH DE number 4057489 (Why is no real title available?)
• A module system for a programming language based on the LF logical framework
• scientific article; zbMATH DE number 1523046 (Why is no real title available?)
• Levels of modality for BDI logic
• scientific article; zbMATH DE number 218501 (Why is no real title available?)
• A framework for developing embeddable customized logics
• scientific article; zbMATH DE number 1390331 (Why is no real title available?)
• Hereditary substitution for the \(\lambda \Delta \)-calculus
• Hierarchical Organisation of Predicate-Semantic Models

Describes a project that uses

Uses Software

• TinkerType
• ALF

This page was built for publication: A modular hierarchy of logical frameworks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712301)