Anderson and Belnap's invitation to sin

DOI10.1007/S10992-010-9135-5MaRDI QIDQ1959326zbMATH OpenOpenAlexFDO

Authors Alasdair Urquhart

Publication date 6 October 2010

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-010-9135-5

zbMATH Keywords

AndersonBelnapLewismodal logicQuinesyntactical interpretationsunification algorithms

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Modal logic (including the logic of norms) (03B45)

Recommendations

• The Anatomy of Innocence Revisited
• scientific article; zbMATH DE number 1841820
• Temptation and guilt
• The permissible and the forbidden
• The last temptation of William T. Tutte
• Demons and repentance
• Super sin

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3274721 (Why is no real title available?)
• scientific article; zbMATH DE number 3341119 (Why is no real title available?)
• New foundations for Lewis modal systems
• On deciding the truth of certain statements involving the notion of consistency
• One hundred and two problems in mathematical logic
• Provability interpretations of modal logic
• Reply to Professor Marcus
• Solution of a problem of Leon Henkin

Cited in

(5)

• A ``reply to my ``critics
• A Lewisian semantics for S2
• A Logical Autobiography
• The early formation of modal logic and its significance: a historical note on Quine, Carnap, and a bit of Church
• The logic of logical necessity

This page was built for publication: Anderson and Belnap's invitation to sin

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