The \(\omega{}\)-rule

DOI10.1007/BF00370115zbMath0785.03015OpenAlexW2913646993MaRDI QIDQ1207341

Michael Thau

Publication date: 1 April 1993

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370115

zbMATH Keywords

\(\omega\)-logicfirst-order logic with \(\omega\)-rule

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Henkin's completeness proof: Forty years later
• Unnamed Item

This page was built for publication: The \(\omega{}\)-rule