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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Redaktører	Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
Udgivelsessted	Berlin
Forlag	Springer
Publikationsdato	2016
Sider	125-144
ISBN (Trykt)	978-3-662-52920-1
ISBN (Elektronisk)	978-3-662-52921-8
DOI	https://doi.org/10.1007/978-3-662-52921-8_9
Status	Udgivet - 2016
Begivenhed	23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) - Complejo Cultural Universitario of BUAP, Puebla, Mexico Varighed: 16 aug. 2016 → 19 aug. 2016 http://www.wollic.cs.buap.mx/

Workshop

Workshop	23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
Lokation	Complejo Cultural Universitario of BUAP
Land	Mexico
By	Puebla
Periode	16/08/2016 → 19/08/2016
Internetadresse	http://www.wollic.cs.buap.mx/

Navn	Lecture Notes in Computer Science
Vol/bind	9803
ISSN	0302-9743

Link til dokument

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

Wollic2016paperPost-printAccepteret manuskript, 434 KB

1 Afsluttet

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

Citer dette

Braüner, T., Blackburn, P. R., & Polyanskaya, I. (2016). Second-order false-belief tasks: Analysis and formalization. I J. Väänänen, Å. Hirvonen, & R. de Queiroz (red.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (s. 125-144). Springer. Lecture Notes in Computer Science Bind 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. red. / Jouko Väänänen ; Åsa Hirvonen ; Ruy de Queiroz. Berlin : Springer, 2016. s. 125-144 (Lecture Notes in Computer Science, Bind 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. i J Väänänen, Å Hirvonen & R de Queiroz (red), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Springer, Berlin, Lecture Notes in Computer Science, bind 9803, s. 125-144, 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), 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. red. / Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz. Berlin : Springer, 2016. s. 125-144 (Lecture Notes in Computer Science, Bind 9803).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. I Väänänen J, Hirvonen Å, de Queiroz R, red., Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Berlin: Springer. 2016. s. 125-144. (Lecture Notes in Computer Science, Bind 9803). https://doi.org/10.1007/978-3-662-52921-8_9

Second-order false-belief tasks: Analysis and formalization

Workshop

Link til dokument

Hybrid-Logical Proofs at Work in Cognitive Psychology

Citer dette