Definite descriptions

DOI10.1007/BF00401556zbMath0706.03004OpenAlexW4236665418MaRDI QIDQ918522

Charles B. Daniels

Publication date: 1990

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

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

zbMATH Keywords

definite descriptionslack of truth-valuereference failureUniversal Instantiation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

European Summer Meeting of the Association for Symbolic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• ``The story says that operator in story semantics
• A story semantics for implication
• A basis for number theory in finite classes
• Surveillance Problems: Poisson Process under Costly Surveillance
• A second order logic of existence

This page was built for publication: Definite descriptions