scientific article; zbMATH DE number 1852930

zbMATH Open1003.03513MaRDI QIDQ4789460FDOQ4789460

Authors: Kees Doets, Johan van Benthem 

Publication date: 29 January 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cited In (11)

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

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)