Logic and Rational Interaction

Archive for the ‘Dynamic Logic’ Category

9February2010

Computational Logic Seminar at CUNY: Formal models of knowledge-based rationality

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

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.

25January2010

REPORT: Formal Philosophy Seminars

Posted by Rasmus Rendsvig under: Conference and workshop reports; Dynamic Logic; Modal Logic.

11December2009

Formal Models of Norm Change 2

Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Conference and workshop reports; Deontic Logic; Dynamic Logic; Rational Agency.

8December2009

Artificial Intelligence Colloquium at Gronigen: Belief flow in Assertion networks

Posted by Rasmus Rendsvig under: Activities; Artificial Intelligence; Courses, seminars and special lectures; Dynamic Logic.

25November2009

Formal Philosophy Seminar at Leuven: Merging your beliefs by talking your way into agreement

Posted by Rasmus Rendsvig under: Activities; Belief revision, conditioning, imaging and other belief; Courses, seminars and special lectures; Dynamic Logic; Social Choice Theory.

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)
Tuesday, February 9, 2010:
- ECAI-2010 Workshop Programme (8:00 am)
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)

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 (353)
- Activities (352)
  - Call for papers (97)
  - Conference and workshop announcements (145)
  - Conference and workshop reports (56)
  - Courses, seminars and special lectures (102)
  - 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 (225)
- Agent diversity and bounded rationality (10)
- Argumentation (2)
- Artificial Intelligence (32)
- 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 (28)
- Epistemic Logic (17)
- Fixed-point Logics (4)
- Formal Epistemology (35)
- Fuzzy Logic (1)
- Game Theory (42)
- 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)