A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
From MaRDI portal
Publication:1213435
DOI10.1007/BF00257481zbMath0296.02010MaRDI QIDQ1213435
Publication date: 1974
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B99: General logic
03C35: Categoricity and completeness of theories