Accepted papers


Papers accepted for presentation and publication in proceedings

  1. Mihir K. Chakraborty
    On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility

  2. Walter Dean and Rohit Parikh
    The Logic of Campaigning

  3. Hans van Ditmarsch and Tim French
    Becoming aware of propositional variables

  4. Ernst-Erich Doberkat
    A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity

  5. Patrick Doherty, Tomasz Michalak, Jacek Sroka, and Andrzej Szałas
    Contextual Coalitional Games

  6. Pietro Galliani
    Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings

  7. Sujata Ghosh and Fernando Velazquez-Quesada
    A qualitative approach to uncertainty

  8. Priyedarshi Jetli
    The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift

  9. Md. Aquil Khan and Minghui Ma
    A Modal Logic for Multi-agent Tolerance Approximation Systems

  10. Jeff Paris and Alena Vencovska
    On Solutions to Nathanial's Invariance Principle in Polyadic Inductive Logic

  11. Katsuhiko Sano
    First-Order Inquisitive Pair Logic

  12. Denis I. Saveliev
    Models consisting of ultrafilters

  13. Jeremy Seligman, Fenrong Liu, and Patrick Girard
    Logic in the Community

  14. Yanjing Wang
    Reasoning about protocol change and knowledge: a preliminary report

Papers accepted only for presentation

  1. Jesse Alama and Sara Uckelman
    A curious dialogical logic and its composition problem

  2. Barbara Dunin-Keplicz, Alina Strachocka, and Rineke Verbrugge
    Modeling deliberation in teamwork

  3. Emmanuel Genot and Jacot Justine
    The Solitaire Game of Inquirer's Mind

  4. Nina Gierasimczuk and Jakub Szymanik
    Muddy Children, Generalized Quantifiers and Internal Complexity

  5. Vladimir Kanovei and Vassily Lyubetsky
    On effective compactness and sigma-compactness

  6. Benedikt Löwe, Eric Pacuit, and Andreas Witzel
    Planning based on dynamic epistemic logic

  7. Vineet Padmanabhan, Guido Governatori, Abdul Sattar, and Kaile Su
    Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms

  8. Igor Stéphan and Vincent Barichard
    Equivalence in QCSP(QBF)

  9. Sara L. Uckelman
    Indian Logic and Medieval Western Logic: The Interactive and Epistemological Turn

  10. Yanjing Wang and Floor Sietsma
    A note on counting models modulo bisimulation


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