@inproceedings{5a40519335d1457c84dd281c67502cd8,
title = "Independence-friendly logic without henkin quantification",
keywords = "Action recall, Existential secondorder logic, Expressive power, Game-theoretical semantics, Henkin quantification, Independence-Friendly logic, Signalling, Action recall, Existential secondorder logic, Expressive power, Game-theoretical semantics, Henkin quantification, Independence-Friendly logic, Signalling",
author = "F. Barbero and L. Hella and R. R{\"o}nnholm",
year = "2017",
doi = "10.1007/978-3-662-55386-2_2",
language = "English",
isbn = "978-3-662-55386-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "10388",
pages = "14--30",
editor = "J. Kennedy and {de Queiroz}, R.J.G.B.",
booktitle = "Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings",
note = "Workshop on Logic, Language, Information and Computation ; Conference date: 01-01-2019",
}