A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
From MaRDI portal
Publication:1213435
DOI10.1007/BF00257481zbMATH Open0296.02010OpenAlexW2077611883MaRDI QIDQ1213435FDOQ1213435
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) Categoricity and completeness of theories (03C35) General logic (03B99)
Cited In (1)
This page was built for publication: A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1213435)