Volume 21, Number 1, 2011

• 
  Valentin Goranko, Wojciech Jamroga: Foreword. 7-8
• 
  Thomas Bolander, Mikkel Birkegaard Andersen: Epistemic planning for single and multi-agent systems. 9-34
• 
  Samuel Bucheli, Roman Kuznets, Thomas Studer: Justifications for common knowledge. 35-60
• 
  Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Converse-PDL with regular inclusion axioms: a framework for MAS logics. 61-91
• 
  Dimitar P. Guelev, Catalin Dima, Constantin Enea: An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. 93-131

Volume 21, Number 2, 2011

• 
  Philippe Balbiani: Axiomatization and completeness of lexicographic products of modal logics. 141-176
• 
  Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska: Dual tableau-based decision procedures for relational logics with restricted composition operator. 177-200
• 
  Dale Jacquette: Some monkey devours every raisin. 201-209
• 
  Jan Maluszynski, Andrzej Szalas: Logical foundations and complexity of 4QL, a query language with unrestricted negation. 211-232
• 
  Paola Villa: KALC : a constructive semantics for ALC. 233-255

Volume 21, Numbers 3-4, 2011

• 
  Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek: Foreword. 263-264
• 
  Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica: Question-answer games. 265-288
• 
  Guillaume Aucher: DEL-sequents for progression. 289-321
• 
  Ido Ben-Zvi, Yoram Moses: On interactive knowledge with bounded communication. 323-354
• 
  Franklin Camacho, Ramón Pino Pérez: Dominance plausible rule and transitivity. 355-373
• 
  Lorenz Demey: Some remarks on the model theory of epistemic plausibility models. 375-395
• 
  Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. 397-425
• 
  Konstantinos Georgatos: Updating knowledge using subsets. 427-441
• 
  Emiliano Lorini: From self-regarding to other-regarding agents in strategic games: a logical analysis. 443-475
• 
  B. Rodenhäuser: A logic for extensional protocols. 477-502
• 
  Sara L. Uckelman: Deceit and indefeasible knowledge: the case of dubitatio. 503-519

last updated on Sat May 18 06:19:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page