Pre-Conference Workshop
March 1–2, 2019, Indian Institute of Technology Delhi, India.


The conference will be accompanied with two preconference workshops.

1 March 2019
Paraconsistent Logic

Mihir Kr Chakraborty, Jadavpur University, India
mihirc4 AT gmail DOT com
Soma Dutta, University of Warmia and Mazury
somadutta9 AT gmail DOT com

Diderik Batens (Ghent University, Belgium)
Mihir Kr Chakraborty (Jadavpur University, India)
Sourav Tarafdar (St. Xavier's College, Kolkata, India)
Sankho Basu (IIIT Delhi, India)

2 March 2019
Logic and Cognition

A pre-conference workshop on Logic and Cognition will be held on March 2, 2019. The workshop will focus on applying modal logics to analyze psychological tasks involving mental states, in particular:

  1. the paradigmatic false belief tasks, and
  2. higher order social reasoning tasks involving strategic games. We are interested in both model-theoretic and proof-theoretic approaches.

Before describing recent advances in these fields, we plan on giving a brief introduction to relevant modal logics as well as relevant notions from psychology and cognitive science, thus making the workshop self-contained for a broad range of logicians, whatever the background: Computer science, linguistics, philosophy or mathematics.

Torben Braüner, Roskilde University, Denmark
torben AT ruc DOT dk
Sujata Ghosh, ISI Chennai, India
sujata AT isichennai DOT res DOT in

Torben Braüner (Roskilde University, Denmark)
Sujata Ghosh (ISI Chennai, India)
Rohit Parikh (CUNY, USA)

We invite researchers in all areas of logic submit an extended abstract (at most two pages in length) for a contributed talk. Abstracts can beon topics relating any aspect of logic and cognition, for example,applications of logic to the analysis of actual human reasoning. The extended abstract should clearly state the contributions and provide significant details. Submissions should be sent as a pdf file to both sujata AT isichennai DOT res DOT in and torben AT ruc DOT dk.

Deadline for Submission : 7 January 2019
Notifications will be sent out as soon as possible thereafter.