A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
From MaRDI portal
Publication:1213435
DOI10.1007/BF00257481zbMath0296.02010OpenAlexW2077611883MaRDI QIDQ1213435
Publication date: 1974
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00257481
Modal logic (including the logic of norms) (03B45) General logic (03B99) Categoricity and completeness of theories (03C35)
Related Items (1)
This page was built for publication: A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
