OriginalsprogEngelsk
Publikationsdato2018
StatusUdgivet - 2018
Begivenhed4th Asian Workshop on Philosophical Logic - Beijing, Kina
Varighed: 20 okt. 201821 okt. 2018
Konferencens nummer: 4
http://resources.illc.uva.nl/LogicList/newsitem.php?id=8842

Workshop

Workshop4th Asian Workshop on Philosophical Logic
Nummer4
LandKina
ByBeijing
Periode20/10/201821/10/2018
AndetAsian 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)
Internetadresse

Bibliografisk note

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

Projekter

Hybrid-Logical Proofs at Work in Cognitive Psychology

Braüner, T., Blackburn, P. R. & Polyanskaya, I.

VELUX FONDEN

01/01/201430/04/2019

Projekter: ProjektForskning

Citer dette

Braüner, T., & Blackburn, P. R. (2018). Formal semantics for the Sally-Anne tasks. 16-27. Afhandling præsenteret på 4th Asian Workshop on Philosophical Logic, Beijing, Kina.