scientific article; zbMATH DE number 1852928

MaRDI QIDQ4789458zbMATH OpenFDO

Authors Wilfrid Hodges

Publication date 29 January 2003

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited in

(7)

• Axiomatization and models of scientific theories
• Socratic proofs
• Basic predicate calculus
• Reasoning about strategies: on the model-checking problem
• Exhibiting interpretational and representational validity
• Comments on the Papers
• On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in 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 Q4789458)