Lindstrom theorems for fragments of first-order logic

Lindstrom theorems for fragments of first-order logic

Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are...

Full description

Bibliographic Details
Main Authors: Johan van Benthem, Balder ten Cate, Jouko Vaananen
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2009-08-01
Series:Logical Methods in Computer Science
Subjects:
computer science - logic in computer science
f.4.1
f.4.3
Online Access:https://lmcs.episciences.org/895/pdf

Similar Items

Similar Items