ICLA 2011 Programme


9 January 2011
8:00 Registration
8:50 Opening Remarks
Session 1: Invited Talk
CHAIR: Mohua Banerjee
9:00 Peter Gärdenfors
Semantics Based on Conceptual Spaces
10:00 Coffee break
Session 2: Contributed Talks
CHAIR: Jouko Väänänen
10:30 Pietro Galliani
Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings
11:00 Yanjing Wang
Reasoning about protocol change and knowledge
11:30 Break
11:45 Ernst-Erich Doberkat
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
12:15 Jeff Paris and Alena Vencovska
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic
12:45 Lunch
Session 3: Invited Talk
CHAIR: Anil Seth
14:00 Wolfgang Thomas
Infinite Games and Uniformization
15:00 Coffee break
Session 4: Contributed Talks
CHAIR: S P Suresh
15:30 Patrick Doherty, Tomasz Michalak, Jacek Sroka, and Andrzej Szałas
Contextual Coalitional Games
16:00 Jesse Alama and Sara Uckelman
A curious dialogical logic and its composition problem
16:30 Yanjing Wang and Floor Sietsma
A note on counting models modulo bisimulation
10 January 2011
Session 5: Contributed Talks
CHAIR: Andrzej Szalas
10:00 Priyedarshi Jetli
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift
10:30 Sara L. Uckelman
Indian Logic and Medieval Western Logic: The Interactive and Epistemological Turn
11:00 Coffee break
Session 6: Contributed Talks
CHAIR: Hans van Ditmarsch
11:30 Nina Gierasimczuk and Jakub Szymanik
Muddy Children, Generalized Quantifiers and Internal Complexity
12:00 Walter Dean and Rohit Parikh
The Logic of Campaigning
12:30 Lunch
14:00 Jeremy Seligman, Fenrong Liu, and Patrick Girard
Logic in the Community
14:30 Benedikt Löwe, Eric Pacuit, and Andreas Witzel
Planning based on dynamic epistemic logic
15:00 Coffee break
Session 7: Contributed Talks
CHAIR: Dietmar Berwanger
15:30 Denis I. Saveliev
Models consisting of ultrafilters
16:00 Katsuhiko Sano
First-Order Inquisitive Pair Logic
16:30 Coffee break
17:00 ALI business meeting
18:30 Conference dinner
11 January 2011
Session 8: Contributed Talks
CHAIR: Benedikt Löwe
9:30 Mihir K. Chakraborty
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility
10:00 Md. Aquil Khan and Minghui Ma
A Modal Logic for Multi-agent Tolerance Approximation Systems
10:30 Coffee break
11:00 Sujata Ghosh and Fernando Velazquez-Quesada
A qualitative approach to uncertainty
11:30 Hans van Ditmarsch and Tim French
Becoming aware of propositional variables
12:00 Session 9: Open session
CHAIR: R Ramanujam
12:45 Closing remarks
13:00 Lunch


  • Registration closed!
  • Dates
  • Conference dates:
    January 5–11, 2011
  • Contact
  • icla at cse.iitk.ac.in