scientific article
zbMath0652.03001MaRDI QIDQ3797147
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
definabilitytemporal logicsfirst order logiclogical methodologyintensional logicsinterpretability of theoriesempirical interpretationsmethodology of deductive sciencestemporal definitions of modal operators
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Foundations of classical theories (including reverse mathematics) (03B30)
This page was built for publication:
