Journal of Applied Non-Classical Logics, Volume 21

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 update Tue May 21 19:11:10 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page