scientific article; zbMATH DE number 4063054

MaRDI QIDQ3797147zbMATH OpenFDO

Authors V. A. Smirnov

Publication date 1987

zbMATH Keywords

definabilitytemporal logicsfirst order logiclogical methodologyintensional logicsinterpretability of theoriesempirical interpretationsmethodology of deductive sciencestemporal definitions of modal operators

Mathematics Subject Classification ID

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)

Recommendations

• The logical foundations of scientific theories. Languages, structures, and models
• scientific article; zbMATH DE number 3249766
• Essays in logical semantics
• scientific article; zbMATH DE number 3715499
• Logical forms. An introduction to philosophical logic.

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)