Formal semantics for the Sally-Anne tasks

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication date2018
Publication statusPublished - 2018
Event4th Asian Workshop on Philosophical Logic - Beijing, China
Duration: 20 Oct 201821 Oct 2018
Conference number: 4
http://resources.illc.uva.nl/LogicList/newsitem.php?id=8842

Workshop

Workshop4th Asian Workshop on Philosophical Logic
Number4
Country/TerritoryChina
CityBeijing
Period20/10/201821/10/2018
OtherAsian Workshop on Philosophical Logic (AWPL) is an event-series initiated <br/>by a group of Asian logicians, and in 2012 the first installment took <br/>place at the JAIST in Japan. It is devoted to promote awareness, <br/>understanding, and collaborations among researchers in philosophical logic <br/>and related fields. The workshop emphasizes the interplay of philosophical <br/>ideas and formal theories. Topics of interest include non-classical <br/>logics, philosophical logics, algebraic logics, and their applications in <br/>computer science, cognitive science, and social sciences. The second and <br/>third workshop took place successfully in Guangzhou (2014) and Taipei <br/>(2016), respectively. And the two post conference proceedings were <br/>published in the Studia Logica book series "Logic in Asia" <br/>(http://www.springer.com/ series/13080?detailsPage=titles) with Springer. <br/>The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held <br/>in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA <br/>Joint Research Centre for Logic at Tsinghua University.<br/><br/>INVITED SPEAKERS<br/>- Bo An (Nanyang Technological University, Singapore)<br/>- Sergei Artemov (City University of New York, United States)<br/>- Kamal Lodaya (The Institute of Mathematical Sciences, India)<br/>- Tomoyuki Yamada (Hokkaido University, Japan)<br/><br/>INVITED TUTORIAL<br/>- Melvin Fitting (City University of New York, United States)
Internet address

Bibliographical note

Proceedings of the 4th Asian Workshop on Philosophical Logic, Tsinghua University, Beijing, China

Cite this