PLM

MaRDI QIDQ53731swMATHFDO

Authors Daniel Kirchner

Publication date 17 September 2017

Official website https://www.isa-afp.org/entries/PLM.html

Cites work

• Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• On Gödel's modal interpretation of the intuitionistic logic
• Quantified multimodal logics in simple type theory
• Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Described by source

• Mechanizing \textit{Principia logico-metaphysica} in functional type-theory

Cited in

(5)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• LegalRuleML
• Reconstructor
• Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
• LogiKEy

This page was built for software: PLM