Volume 20, Numbers 1-2, 2010

• 
  Salem Benferhat, Karima Sedki: An alert correlation approach based on security operator's knowledge and preferences. 7-37
• 
  Serenella Cerrito, Marta Cialdea Mayer: An efficient approach to nominal equalities in hybrid logic tableaux. 39-61
• 
  Manfred Kudlek: On Hamblin's 15 Tense Theorem. 63-80
• 
  Suman Roy: A duration calculus with neighborhood modalities. 81-126

Volume 20, Number 3, 2010

• 
  Philippe Balbiani: Foreword. 137-138
• 
  Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak: Some modal aspects of XPath. 139-171
• 
  Hans P. van Ditmarsch, Jan van Eijck, William Wu: Verifying one hundred prisoners and a lightbulb. 173-191
• 
  Silvio Ghilardi: Continuity, freeness, and filtrations. 193-217
• 
  Bernhard Heinemann: Logics for multi-subset spaces. 219-240
• 
  Andrea Masini, Luca Viganò, Marco Volpe: Back from the future. 241-277
• 
  Sergei P. Odintsov, Heinrich Wansing: Modal logics with Belnapian truth values. 279-304

Volume 20, Number 4, 2010

• 
  Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Foreword. 311
• 
  Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Model-checking CTL* over flat Presburger counter systems. 313-344
• 
  Dov M. Gabbay, Karl Schlechta: Semantic interpolation. 345-371
• 
  Didier Galmiche, Yakoub Salhi: Label-free natural deduction systems for intuitionistic and classical modal logics. 373-421
• 
  Marcus Kracht: Judgment and consequence relations. 423-435
• 
  M. Reynolds: Metric temporal reasoning with less than two clocks. 437-455
• 
  Leendert W. N. van der Torre: Violation games: a new foundation for deontic logic. 457-477

last updated on Thu May 23 04:23:37 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page