Journal of Applied Non-Classical Logics, Volume 20

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 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