scientific article; zbMATH DE number 4063054

MaRDI QIDQ3797147zbMATH OpenFDO

Authors V. A. Smirnov

Publication date 1987

zbMATH Keywords

definabilityempirical interpretationsfirst order logicintensional logicsinterpretability of theorieslogical methodologymethodology of deductive sciencestemporal definitions of modal operatorstemporal logics

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Modal logic (including the logic of norms) (03B45)

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)