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
Cites Work