scientific article; zbMATH DE number 4063054
zbMATH Open0652.03001MaRDI QIDQ3797147FDOQ3797147
Authors: V. A. Smirnov
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
definabilitytemporal logicsfirst order logiclogical methodologyintensional logicsinterpretability of theoriesempirical interpretationsmethodology of deductive sciencestemporal definitions of modal operators
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3797147)