Logic and Rational Interaction

Archive for the ‘Dynamic Epistemic Logic’ Category

29January2010

REPORT: Formal Models of Norm Change

Posted by Rasmus Rendsvig under: Artificial Intelligence; Computer Science; Conference and workshop reports; Deontic Logic; Dynamic Epistemic Logic; Dynamic Logic; Preferences, Intentions, Emotions; Social Software.

12January2010

CfP: Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue — ESSLLI 2010

Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Dynamic Epistemic Logic; Game Theory; Information Update; Public Announcement Logic.

2December2009

Dynamic Logic Seminar on Epistemic Protocols at ILLC:

Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Dynamic Epistemic Logic; Information Update; Temporal Epistemic Logic.

1December2009

Social Choice Meeting at Tilburg University

Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Dynamic Epistemic Logic; Game Theory; Social Choice Theory.

24November2009

New ILLC Prepublication: Inference, Promotion, and the Dynamics of Awareness

Posted by Rasmus Rendsvig under: Dynamic Epistemic Logic; Dynamic Logic; Epistemic Logic; Publications.

19November2009

Computational Logic Seminar at CUNY: Logical Analysis of Cryptographic Protocols

Posted by Rasmus Rendsvig under: Activities; Computer Science; Courses, seminars and special lectures; Dynamic Epistemic Logic.

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

Monday, February 8, 2010:
- Dialogues and Games: Historical Roots and Contemporary Models, Lille, France (all day)
Monday, February 15, 2010:
- Call for Papers: ECAI-2010 (all day)
Thursday, February 18, 2010:
- SEMINAR: PhD's in Logic II, Tilburg, 18-19 February 2010 (all day)
Friday, February 19, 2010:
- CfP: AISC 2010 - 10th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (all day)
- Call for submissions: ESSLLI 2010 Student Session (all day)

Events

February 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

Browse by content

Events (351)
- Activities (350)
  - Call for papers (97)
  - Conference and workshop announcements (144)
  - Conference and workshop reports (56)
  - Courses, seminars and special lectures (101)
  - Upcoming deadlines (32)
Glossary (14)
Help (15)
Job annoucements (18)
Links (13)
Logic in Asia (7)
People & Places (58)
- Groups (8)
- People (39)
  - PhD Student (5)
  - Postdoctoral Researcher (9)
  - Senior Researcher (21)
- Places (Universities and Institutes) (23)
  - ILLC (11)
  - Universiteit van Amsterdam (7)
Publications (83)
- Books, Journals issues, proceedings (51)
- Work in progress (5)
Research Axes (223)
- Agent diversity and bounded rationality (10)
- Argumentation (2)
- Artificial Intelligence (31)
- Belief revision, conditioning, imaging and other belief (29)
- Computational Social Choice (15)
- Computer Science (22)
- Decision Theory (23)
- Deontic Logic (13)
- Dependance Logic (2)
- Dynamic Epistemic Logic (35)
- Dynamic Logic (27)
- Epistemic Logic (16)
- Fixed-point Logics (4)
- Formal Epistemology (35)
- Fuzzy Logic (1)
- Game Theory (41)
- Games for logic, dialogic games. (7)
- Hybrid Logic (3)
- Imperfect Information (10)
- Independence Logic (3)
- Information Update (15)
- Justification Logic (10)
- Learning Theory (8)
- Logics for Games (11)
- Modal Logic (22)
- Natural Language Semantics (9)
- Preferences, Intentions, Emotions (20)
- Programming Theory (7)
- Proof Theory (12)
- Public Announcement Logic (1)
- Rational Agency (30)
- Reasoning (19)
- Social Choice Theory (24)
- Social Epistemology (9)
- Social Software (15)
- Strategies (9)
- Temporal Epistemic Logic (8)
- Temporal Logic (13)
Tsinghua University (5)
Uncategorized (7)