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 BibTeX
Abir Nour: The Tableau Method for a Logical System Based on a Finite Poset. 43-62 BibTeX
Diderik Batens, Timothy Vermeir: Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case. 63-84 BibTeX
Ross T. Brady: Ordering Properties for the Routley-Meyer Relation R. 85-98 BibTeX
László Aszalós: Automated Puzzle Solving. 99-116 BibTeX

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

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