Logic and Rational Interaction

Archive for the ‘Dependence / Independence Logic’ Category

9August2010

Workshop on Dependence and Independence in Logic, Copenhagen, Denmark

Posted by Sunxin under: Activities; Conference and workshop announcements; Dependence / Independence Logic.

15June2010

PhD defense at ILLC: Coherence and Complexity in Fragments of Dependence Logic

Posted by Sunxin under: Activities; Dependence / Independence Logic; PhD Student.

30April2010

REPORT: Modelling Interaction, Dialog, Social Choice, and Vagueness (MIDISoVa)

Posted by Rasmus Rendsvig under: Conference and workshop reports; Dependence / Independence Logic; Games for logic, dialogic games.; Knowledge Representation; Natural Language Semantics; Social Choice Theory; Vagueness.

29April2010

Computational Logic Seminar at CUNY: Juha Kontinen (Helsinki) – Dependence logic

Posted by Olivier Roy under: Activities; Courses, seminars and special lectures; Dependence / Independence Logic.

3February2010

Dialogues and Games: Historical Roots and Contemporary Models, Lille, France

Posted by Olivier Roy under: Activities; Conference and workshop announcements; Dependence / Independence Logic; Games for logic, dialogic games.; Imperfect Information; Logics for Games.

1December2009

CFP: Workshop on dependence and independence in logic — ESSLLI 2010

Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Dependence / Independence Logic; Imperfect Information.

Previous

Comment? Questions? Contact?

Please send an email to Rasmus Rendsvig, our web manager, at: rendsvig at gmail dot com

Enter your email address here to receive a periodical summary of the LORI posts.

Subscribe to RSS Feed

RSS Feed

Our visitors

Upcoming Events

Tuesday, November 30, 1999:
- Chair of Computational Logic at Dresden University of Technology (12:00 am)
Saturday, July 10, 2010:
- 10 PhD student positions in Mathematical Logic in Computer Science (12:00 am)
Tuesday, September 7, 2010:

Events

September 2010
M	T	W	T	F	S	S
	1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	EC

Browse by content

Events (546)
- Activities (545)
  - Call for papers (144)
  - Conference and workshop announcements (220)
  - Conference and workshop reports (79)
  - Courses, seminars and special lectures (161)
  - Upcoming deadlines (42)
Glossary (14)
Help (15)
Job annoucements (31)
Links (15)
Logic in Asia (8)
People & Places (99)
- Groups (8)
- People (63)
  - Master Student (9)
  - PhD Student (20)
  - Postdoctoral Researcher (13)
  - Senior Researcher (23)
- Places (Universities and Institutes) (47)
  - ILLC (26)
  - Tsinghua University (10)
  - Universiteit van Amsterdam (7)
Publications (95)
- Books, Journals issues, proceedings (59)
- Work in progress (5)
Research Axes (345)
- Agent diversity and bounded rationality (14)
- Argumentation (5)
- Artificial Intelligence (39)
- Belief revision, conditioning, imaging and other belief (44)
- Computational Social Choice (26)
- Computer Science (33)
- Decision Theory (33)
- Deontic Logic (19)
- Dependence / Independence Logic (8)
- Dynamic Epistemic Logic (41)
- Dynamic Logic (37)
- Epistemic Logic (32)
- Fixed-point Logics (5)
- Formal Epistemology (48)
- Fuzzy Logic (1)
- Game Theory (65)
- Games for logic, dialogic games. (9)
- Hybrid Logic (7)
- Imperfect Information (10)
- Information Update (18)
- Justification Logic (15)
- Knowledge Representation (3)
- Learning Theory (9)
- Logics for Games (14)
- Modal Logic (25)
- Natural Language Semantics (12)
- Non-Monotonic Reasoning (1)
- Philosophical Logic (10)
- Preferences, Intentions, Emotions (26)
- Programming Theory (9)
- Proof Theory (14)
- Public Announcement Logic (3)
- Rational Agency (39)
- Reasoning (28)
- Social Choice Theory (35)
- Social Epistemology (15)
- Social Software (16)
- Strategies (12)
- Temporal Epistemic Logic (8)
- Temporal Logic (16)
- Vagueness (2)
To be categorized (16)
Uncategorized (25)