Independence-friendly logic without henkin quantification

F. Barbero; L. Hella; R. Rönnholm

doi:10.1007/978-3-662-55386-2_2

Independence-friendly logic without henkin quantification

F. Barbero
, L. Hella
, R. Rönnholm

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Editors	J. Kennedy, R.J.G.B. de Queiroz
Place of Publication	Berlin
Publisher	Springer
Pages	14-30
ISBN (Print)	978-3-662-55386-2
DOIs	https://doi.org/10.1007/978-3-662-55386-2_2
Publication status	Published - 2017
Publication type	A4 Article in conference proceedings
Event	Workshop on Logic, Language, Information and Computation - Duration: 1 Jan 2019 → …

Publication series

Name	Lecture Notes in Computer Science
Number	10388
ISSN (Print)	0302-9743

Conference

Conference	Workshop on Logic, Language, Information and Computation
Period	1/01/19 → …

Keywords

Action recall
Existential secondorder logic
Expressive power
Game-theoretical semantics
Henkin quantification
Independence-Friendly logic
Signalling

Publication forum classification

Publication forum level 1

Access to Document

10.1007/978-3-662-55386-2_2

http://urn.fi/URN:NBN:fi:tuni-201909103226

Cite this

Barbero, F., Hella, L., & Rönnholm, R. (2017). Independence-friendly logic without henkin quantification. In J. Kennedy, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (pp. 14-30). (Lecture Notes in Computer Science; No. 10388). Springer. https://doi.org/10.1007/978-3-662-55386-2_2

@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",

}

Barbero, F, Hella, L & Rönnholm, R 2017, Independence-friendly logic without henkin quantification. in J Kennedy & RJGB de Queiroz (eds), Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Lecture Notes in Computer Science, no. 10388, Springer, Berlin, pp. 14-30, Workshop on Logic, Language, Information and Computation, 1/01/19. https://doi.org/10.1007/978-3-662-55386-2_2

Independence-friendly logic without henkin quantification. / Barbero, F.; Hella, L.; Rönnholm, R.
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. ed. / J. Kennedy; R.J.G.B. de Queiroz. Berlin: Springer, 2017. p. 14-30 (Lecture Notes in Computer Science; No. 10388).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Independence-friendly logic without henkin quantification

AU - Barbero, F.

AU - Hella, L.

AU - Rönnholm, R.

PY - 2017

Y1 - 2017

KW - Action recall

KW - Existential secondorder logic

KW - Expressive power

KW - Game-theoretical semantics

KW - Henkin quantification

KW - Independence-Friendly logic

KW - Signalling

KW - Action recall

KW - Existential secondorder logic

KW - Expressive power

KW - Game-theoretical semantics

KW - Henkin quantification

KW - Independence-Friendly logic

KW - Signalling

U2 - 10.1007/978-3-662-55386-2_2

DO - 10.1007/978-3-662-55386-2_2

M3 - Conference contribution

SN - 978-3-662-55386-2

T3 - Lecture Notes in Computer Science

SP - 14

EP - 30

BT - Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

A2 - Kennedy, J.

A2 - de Queiroz, R.J.G.B.

PB - Springer

CY - Berlin

T2 - Workshop on Logic, Language, Information and Computation

Y2 - 1 January 2019

ER -

Barbero F, Hella L, Rönnholm R. Independence-friendly logic without henkin quantification. In Kennedy J, de Queiroz RJGB, editors, Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Berlin: Springer. 2017. p. 14-30. (Lecture Notes in Computer Science; 10388). doi: 10.1007/978-3-662-55386-2_2