Second-order false-belief tasks: Analysis and formalization

Torben Braüner; Patrick Rowan Blackburn; Irina Polyanskaya

doi:10.1007/978-3-662-52921-8_9

Second-order false-belief tasks: Analysis and formalization

Torben Braüner, Patrick Rowan Blackburn, Irina Polyanskaya

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Editors	Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
Place of Publication	Berlin
Publisher	Springer
Publication date	2016
Pages	125-144
ISBN (Print)	978-3-662-52920-1
ISBN (Electronic)	978-3-662-52921-8
DOIs	https://doi.org/10.1007/978-3-662-52921-8_9
Publication status	Published - 2016
Event	23rd Workshop on Logic, Language, Information and Computation - Complejo Cultural Universitario of BUAP, Puebla, Mexico Duration: 16 Aug 2016 → 19 Aug 2016 http://www.wollic.cs.buap.mx/

Workshop

Workshop	23rd Workshop on Logic, Language, Information and Computation
Location	Complejo Cultural Universitario of BUAP
Country/Territory	Mexico
City	Puebla
Period	16/08/2016 → 19/08/2016
Internet address	http://www.wollic.cs.buap.mx/

Series	Lecture Notes in Computer Science
Volume	9803
ISSN	0302-9743

Link to document

10.1007/978-3-662-52921-8_9

Wollic2016paperPost-printAccepted author manuscript, 434 KB

Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
VELUX FONDEN
01/01/2014 → 30/04/2019
Project: Research

Cite this

Braüner, T., Blackburn, P. R., & Polyanskaya, I. (2016). Second-order false-belief tasks: Analysis and formalization. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (pp. 125-144). Springer. Lecture Notes in Computer Science Vol. 9803 https://doi.org/10.1007/978-3-662-52921-8_9

Braüner, Torben ; Blackburn, Patrick Rowan ; Polyanskaya, Irina. / Second-order false-belief tasks : Analysis and formalization. Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. editor / Jouko Väänänen ; Åsa Hirvonen ; Ruy de Queiroz. Berlin : Springer, 2016. pp. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

@inproceedings{0b6717949a9e424cbae0c6c82080438b,

title = "Second-order false-belief tasks: Analysis and formalization",

author = "Torben Bra{\"u}ner and Blackburn, {Patrick Rowan} and Irina Polyanskaya",

year = "2016",

doi = "10.1007/978-3-662-52921-8_9",

language = "English",

isbn = "978-3-662-52920-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "125--144",

editor = "Jouko V{\"a}{\"a}n{\"a}nen and {\AA}sa Hirvonen and {de Queiroz}, Ruy",

booktitle = "Logic, Language, Information, and Computation",

note = "23rd Workshop on Logic, Language, Information and Computation , WoLLIC ; Conference date: 16-08-2016 Through 19-08-2016",

url = "http://www.wollic.cs.buap.mx/",

}

Braüner, T , Blackburn, PR & Polyanskaya, I 2016, Second-order false-belief tasks: Analysis and formalization. in J Väänänen, Å Hirvonen & R de Queiroz (eds), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Springer, Berlin, Lecture Notes in Computer Science, vol. 9803, pp. 125-144, 23rd Workshop on Logic, Language, Information and Computation , Puebla, Mexico, 16/08/2016. https://doi.org/10.1007/978-3-662-52921-8_9

Second-order false-belief tasks : Analysis and formalization. / Braüner, Torben ; Blackburn, Patrick Rowan; Polyanskaya, Irina.

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. ed. / Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz. Berlin : Springer, 2016. p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Second-order false-belief tasks

T2 - 23rd Workshop on Logic, Language, Information and Computation

AU - Braüner, Torben

AU - Blackburn, Patrick Rowan

AU - Polyanskaya, Irina

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-662-52921-8_9

DO - 10.1007/978-3-662-52921-8_9

M3 - Article in proceedings

SN - 978-3-662-52920-1

T3 - Lecture Notes in Computer Science

SP - 125

EP - 144

BT - Logic, Language, Information, and Computation

A2 - Väänänen, Jouko

A2 - Hirvonen, Åsa

A2 - de Queiroz, Ruy

PB - Springer

CY - Berlin

Y2 - 16 August 2016 through 19 August 2016

ER -

Braüner T , Blackburn PR, Polyanskaya I. Second-order false-belief tasks: Analysis and formalization. In Väänänen J, Hirvonen Å, de Queiroz R, editors, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Berlin: Springer. 2016. p. 125-144. (Lecture Notes in Computer Science, Vol. 9803). doi: 10.1007/978-3-662-52921-8_9

Second-order false-belief tasks: Analysis and formalization

Workshop

Link to document

Projects

Hybrid-Logical Proofs at Work in Cognitive Psychology

Cite this