@inbook{d7f12b3da1f9428bbba66be721714240,
title = "Infinitary hybrid logic and the Lindel{\"o}f property",
abstract = "This short note is about hybrid logic with infinitary rules, interpreted in named models. It is shown that there is a rule K such that the property {\textquoteleft}entails K{\textquoteright} is not Lindel{\"o}f: if some collection of rules R entails K, then there is not always a countable subset of R that entails K.",
author = "\{Renardel de Lavalette\}, Gerard",
year = "2015",
language = "English",
isbn = "9781848901735",
series = "Tributes",
publisher = "College Publications",
pages = "113--120",
editor = "Ghosh, \{Sujata \} and Szymanik, \{Jakub \}",
booktitle = "The Facts Matter",
}