scientific article; zbMATH DE number 3321243

zbMATH Open0202.29802MaRDI QIDQ5599795FDOQ5599795

Authors: Risto Hilpinen 

Publication date: 1966

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

Recommendations

• Identification through Inductive Verification
• scientific article; zbMATH DE number 3910370
• Separation logic with monadic inductive definitions and implicit existentials
• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Logic Programming and Nonmonotonic Reasoning
• Types for Proofs and Programs
• scientific article; zbMATH DE number 4009811
• On the intuitionistic strength of monotone inductive definitions
• New algorithm for weak monadic second-order logic on inductive structures
• Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).

Mathematics Subject Classification ID

General logic (03Bxx)

Cited In (3)

• Identification through Inductive Verification
• Title not available (Why is that?)
• Short overview of the development of Hintikka's work in logic

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 Q5599795)