scientific article; zbMATH DE number 1852930

MaRDI QIDQ4789460zbMATH OpenFDO

Authors Kees Doets, Johan van Benthem

Publication date 29 January 2003

Mathematics Subject Classification ID

Cited in

(11)

• Abstract deduction and inferential models for type theory
• A formalist philosophy of mathematics. I: Arithmetic
• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
• Two-level lambda-calculus
• On higher-order logical grounds
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• Propositional epistemic logics with quantification over agents of knowledge
• Light logics and higher-order processes
• scientific article; zbMATH DE number 1303996 (Why is no real title available?)
• One-and-a-halfth-order Logic
• The lambda-context calculus (extended version)

This page was built for publication:

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