Journal of Applied Non-Classical Logics, Volume 13

Volume 13, Number 1, 2003

Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. 7-8 BibTeX
Achille C. Varzi, Massimo Warglien: The Geometry of Negation. 9-20 BibTeX
Víctor L. Fernández, Marcelo E. Coniglio: Combining Valuations with Society Semantics. 21-46 BibTeX
Costas D. Koutras: A Catalog of Weak Many-Valued Modal Axioms and their Corresponding Frame Classes. 47-73 BibTeX
Samir Farkh, Karim Nour: Complete types in an extension of the system AF2. 73-86 BibTeX
Frieder Stolzenburg, Alejandro Javier García, Carlos Iván Chesñevar, Guillermo Ricardo Simari: Computing Generalized Specificity. 87- BibTeX

Jinzhao Wu: CWA Extensions to Multi-Valued Logics. 133-164 BibTeX
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. 165-185 BibTeX
Robert Demolombe: Belief Change: from Situation Calculus to Modal Logic. 187-198 BibTeX
Xiaocong Fan, John Yen: A Logical Splitting Strategy for the Belief Structure of Agents. 199-221 BibTeX

Philippe Balbiani, Dimiter Vakarelov: PDL with Intersection of Programs: A Complete Axiomatization. 231-276 BibTeX
Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas: Truth-values as Labels: A General Recipe for Labelled Deduction. 277-315 BibTeX
Ofer Arieli: Reasoning with Different Levels of Uncertainty. 317-343 BibTeX
Xavier Parent: Remedial Interchange, Contrary-to-Duty Obligation and Commutation. 345-375 BibTeX
Karim Nour, Abir Nour: Propositional mixed logic: its syntax and semantics. 377-390 BibTeX
Zofia Kostrzycka: On the Density of Truth of Implicational Parts of Intuitionistic and Classical Logics. 391-421 BibTeX