Indian Logic Forum

Plamen · Posted: Mon Feb 27, 2006 12:55 pm Post subject: First Indian Conference on Logic

First Indian Conference on Logic and its Relationship with Other Disciplines
Indian Institute of Technology Bombay
Jan 8-13 2005

Topics for Submission:
- Aspects (including foundational issues) of Classical or Non-standard Logic(s) and their impact on other disciplines;
- Modeling knowledge and belief , epistemic logics, non-monotonic logics;
- Knowledge representation - how the system's knowledge of the world is structured, organized and manipulated determining algorithms for acquiring such knowledge and making decisions;
- Commonsense reasoning, reasoning with cognitive infirmities, reasoning in the face of uncertain, imprecise, incomplete information;
- Logic of information update and belief revision;
- Internet epistemology and related ontological models; theory of social software;
- Logic and Cognitive Models - Discrete Models in Behavioral and Cognitive Science;
- Axiomatic approach to the notion of rationality and rational choice and their limitations in Economics and Political Science; Issues in Indian Logic.

Speakers and abstracts in PDF
http://logic2005.hss.iitb.ac.in/program.php

1 D. Prahlada Char Nyaya Paribhasha
2 K. Ramasubramanian The Concept of .Hetvabhasa
3 Petr Hajek On set theory in fuzzy logic
4 Johan van Benthem Knowledge in action: the role of logic in games
5 John N. Crossley What is the difference between proofs and programs?
6 Haim Gaifman Substitutional Algebras and Russell's Logic of Propositions
7 Mihir Chakraborty Graded Consequence and its place in Fuzzy Logics
8 Yuri Gurevich Some Open Problems in Foundation of Computer Science
9 Rohit Parikh Logic and Game Theory for Social Software
10 Krister Segerberg Theory of Belief Revision in Dynamic Doxastic Logic
11 Luc Bovens Voting Theory and Probabilistic Modeling
12 Haim Gaifman On Russell
13 Juliette Kennedy Godel on Incompleteness
14 Paritosh K. Pandya Real-time logics: A model checking perspective
15 S.M. Bhave The Concept of .Vyapti. and its Set Theoretic Interpretation
16 Ron van der Meyden Synthesis of Distributed Systems from Knowledge-Based Specifications
17 David Harel Synthesis and Communication of Smell
18 Wilfrid A. Hodges From sentence meanings to full semantics
19 Daniel Kayser What Logic can and cannot do in Natural Language Semantics
20 Daniele Mundici Recent developments of Feedback Coding, and its relations with Many-Valued Logic
21 David Harel Techniques for Software Engineering: Reactive Animation and Smart Play-Out
22 Noson Yanofsky An Introduction to Quantum Computing
23 G. Venkatesh Temporal logic with preferences and reasoning about games
24 Benedikt Lowe A Note on Pure Variations of Axioms of Blackwell Determinacy
25 Sundar Sarukkai Indian Logic and Philosophy of Science: the logic-epistemology link
26 Pradeep Gokhale The Concept of .necessity. in Darmakirti.s theory of inference
27 R.K. Shyamasundar Abstractions and Ontology in Semantic Web Reasoning
28 D. Acharya Some reflections on discrete mathematical models in Behavioural, cognitive and social sciences
29 M.D. Srinivas The concepts of "Upapatti"
30 S.P. Suresh The concept of "Pramanya"