Publication:4532188
From MaRDI portal
zbMath0997.03003MaRDI QIDQ4532188
Publication date: 10 November 2002
compactness; higher-order logic; second-order logic; Löwenheim-Skolem theorem; standard semantics; Henkin semantics
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations
Related Items
Theories of abstract objects without ad hoc restriction, Probabilistic modelling, inference and learning using logical theories, The logic of finite order, Probabilistic reasoning in a classical logic, Probabilities on sentences in an expressive logic