The unaxiomatizability of a quantified intensional logic

DOI10.1007/BF00258077zbMath0426.03020MaRDI QIDQ1135841

James W. Garson

Publication date: 1980

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

zbMATH Keywords

expressive powersecond order logicdegree of unsolvabilityquantified intensional logicunaxiomatizability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

An essay in combinatory dynamic logic

Cites Work

• Unnamed Item
• The substitution interpretation and the expressive power of intensional logics
• Indefinite topological logic
• Propositional quantifiers in modal logic1