Journal of Applied Non-Classical Logics, Volume 12

Volume 12, Number 1, 2002

• Costas D. Koutras, Christos Nomikos, Pavlos Peppas:
  Canonicity and Completeness Results for Many-Valued Modal Logics. 7-42
  
• Abir Nour:
  The Tableau Method for a Logical System Based on a Finite Poset. 43-62
  
• Diderik Batens, Timothy Vermeir:
  Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case. 63-84
  
• Ross T. Brady: Ordering Properties for the Routley-Meyer Relation R. 85-98
• László Aszalós:
  Automated Puzzle Solving. 99-116
  

Volume 12, Number 2, 2002

• Salem Benferhat, Philippe Besnard: Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. 133-134
• Thomas D. Nielsen:
  Decomposition of influence diagrams. 135-150
  
• Andrés Cano, Juan M. Fernández-Luna, Serafín Moral:
  Computing probability intervals with simulated annealing and probability trees. 151-171
  
• Norman E. Fenton, Paul Krause, Martin Neil:
  Probability modelling for software quality control. 173-188
  
• Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo:
  Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. 189-213
  
• Gabriele Kern-Isberner:
  Handling conditionals adequately in uncertain reasoning and belief revision. 215-237
  
• Frédéric Koriche:
  Approximate coherence-based reasoning. 239-258
  
• James P. Delgrande, Torsten Schaub:
  Reasoning Credulously and skeptically within a single extension. 259-285
  
• Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre:
  Realistic desires. 287-308
  

Volume 12, Numbers 3-4, 2002

• Philippe Balbiani:
  Foreword. 317-318
  
• Marco Aiello, Johan van Benthem:
  A Modal Walk Through Space. 319-364
  
• Philippe Balbiani, Valentin Goranko:
  Modal Logics for Parallelism, Orthogonality, and Affine Geometries. 365-398
  
• Isabelle Bloch:
  Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning. 399-424
  
• Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev:
  Axiomatizing Distance Logics. 425-440
  
• Ian Pratt-Hartmann:
  A Topological Constraint Language with Component Counting. 441-468
  
• Jochen Renz:
  A Canonical Model of the Region Connection Calculus. 469-494
  
• Paolo Torrini, John G. Stell, Brandon Bennett:
  Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. 495-526
  
• Dimiter Vakarelov, Georgi D. Dimov, Ivo Düntsch, Brandon Bennett:
  A Proximity Approach to Some Region-Based Theories of Space. 527-559
  

Last update Tue May 21 14:48:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page