scientific article; zbMATH DE number 930362

zbMath0852.03001MaRDI QIDQ4894127

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Publication date: 1 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticssecond-order logicelementary equivalencesyntaxclassical predicate logicfirst-order predicate logic with equalitylogical foundations of logic programminglogics with infinitary languagessyntactic interpretation

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Logic programming (68N17)

Related Items (6)

On representations of intended structures in foundational theories ⋮ Towards a classification of defaults logics ⋮ Unnamed Item ⋮ The Compositional Method and Regular Reachability ⋮ On distinguishing sets of structures by first-order sentences of minimal quantifier rank ⋮ APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES

This page was built for publication: