Logic and Rational Interaction

Archive for the ‘Dynamic Logic’ Category

14June2010

CfP special issue of JANCL: Formal Models of Norm Change

Posted by Sunxin under: Activities; Call for papers; Deontic Logic; Dynamic Logic; Game Theory.

11June2010

Journal of Applied Non-Classical Logic Final call for papers (deadline extended)

Posted by Sunxin under: Activities; Call for papers; Deontic Logic; Dynamic Logic; Game Theory.

9June2010

ILLC News: Dynamic Logics for Multi-Agent Information Flow

Posted by Sunxin under: Activities; Courses, seminars and special lectures; Dynamic Logic; ILLC; Information Update; Modal Logic.

2June2010

Lecture at ILLC: Dynamic Logics for Multi-Agent Information Flow

Posted by Sunxin under: Activities; Dynamic Logic; ILLC.

9April2010

CfP: Journal of Applied Non-Classical Logic, Special Issue on Formal Models of Norm Change

Posted by Rasmus Rendsvig under: Activities; Books, Journals issues, proceedings; Call for papers; Deontic Logic; Dynamic Logic; Game Theory; Preferences, Intentions, Emotions; Publications.

1April2010

Two New Articles in the Journal of Artificial Intelligence Research

Posted by Rasmus Rendsvig under: Artificial Intelligence; Books, Journals issues, proceedings; Dynamic Logic; Modal Logic; Publications.

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)
Monday, August 30, 2010:
- The Third Workshop on Logics for Resource-Bounded Agents (LRBA), Domaine Valpre, Lyon, France (all day)
Thursday, September 2, 2010:
- Workshop on Advances in Algorithmic Game Theory (12:00 am)
- Workshop on Advances in Algorithmic Game Theory (9:50 am)

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 (542)
- Activities (541)
  - Call for papers (143)
  - Conference and workshop announcements (219)
  - Conference and workshop reports (78)
  - Courses, seminars and special lectures (160)
  - 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 (341)
- Agent diversity and bounded rationality (14)
- Argumentation (5)
- Artificial Intelligence (38)
- Belief revision, conditioning, imaging and other belief (44)
- Computational Social Choice (25)
- Computer Science (32)
- Decision Theory (33)
- Deontic Logic (19)
- Dependence / Independence Logic (8)
- Dynamic Epistemic Logic (41)
- Dynamic Logic (37)
- Epistemic Logic (31)
- 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 (9)
- Preferences, Intentions, Emotions (26)
- Programming Theory (9)
- Proof Theory (14)
- Public Announcement Logic (3)
- Rational Agency (38)
- Reasoning (28)
- Social Choice Theory (35)
- Social Epistemology (15)
- Social Software (16)
- Strategies (12)
- Temporal Epistemic Logic (8)
- Temporal Logic (15)
- Vagueness (2)
To be categorized (16)
Uncategorized (25)