Notre Dame Journal of Formal Logic, Volume 36

Volume 36, Number 1, Winter 1995

Special Issue on Belief Revision

André Fuhrmann: Editor's Introduction. 1-14 BibTeX
Mark Ryan, Pierre-Yves Schobbens: Belief Revision and Verisimilitude. 15-29 BibTeX
Katarina Britz, Chris Brink: Computing Verisimilitude. 30-43 BibTeX
Heinrich Wansing: Semantics-based Nonmonotonic Inference. 44-54 BibTeX
Wayne Wobcke: Belief Revision, Conditional Logic and Nonmonotonic Reasoning. 55-102 BibTeX
Sven Ove Hansson, Erik J. Olsson: Levi Contractions and AGM Contractions: a Comparison. 103-119 BibTeX
Pavlos Peppas, Mary-Anne Williams: Constructive Modelings for Theory Change. 120-133 BibTeX
Jan Jaspars: Partial Up and Down Logic. 134-157 BibTeX
Craig Boutilier: On the Revision of Probabilistic Belief States. 158-183 BibTeX

Andrea Cantini: Levels of Truth. 185-213 BibTeX
Lloyd Humberstone: The Logic of Non-contingency. 214-229 BibTeX
Steven T. Kuhn: Minimal Non-contingency Logic. 230-234 BibTeX
George Gargov: An Approach to Uncertainty via Sets of Truth Values. 235-268 BibTeX
Tapani Hyttinen: Remarks on Structure Theorems for omega₁-Saturated Models. 269-278 BibTeX
Uwe Meixner: Ontologically Minimal Logical Semantics. 279-298 BibTeX
James Cain: Arithmetic With Satisfaction. 299-303 BibTeX
Dorella Bellè, Franco Parlamento: Decidability and Completeness for Open Formulas of Membership Theories. 304-318 BibTeX
M. S. Joy, Victor J. Rayward-Smith: NP-Completeness of a Combinator Optimization Problem. 319-335 BibTeX
Graeme Forbes: Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press, 1993. 336-339 BibTeX

Peter Roeper, Hugues Leblanc: Consequence and Confirmation. 341-363 BibTeX
Michael Makkai: On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. 364-381 BibTeX
Michaelis Michael, A. V. Townsend: Binary Quantification Systems. 382-395 BibTeX
Michiro Kondo: Classification of Weak DeMorgan Algebras. 396-406 BibTeX
José M. Méndez, Francisco Salto: Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. 407-413 BibTeX
J. E. Helmreich: Expansions of Ultrahomogeneous Graphs. 414-424 BibTeX
Masasi Higasikawa: Partition Principles and Infinite Sums of Cardinal Numbers. 425-434 BibTeX
Norman D. Megill: A Finitely Axiomatized Formalization of Predicate Calculus with Equality. 435-453 BibTeX
Athanassios Tzouvaras: Worlds of Homogeneous Artifacts. 454-474 BibTeX
Kieron O'Hara, Han Reichgelt, Nigel Shadbolt: Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson. 475-495 BibTeX

Special Issue: Models of Arithmetic

Peter Clote: Editor's Introduction. 499-501 BibTeX
Roman Murawski: The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic. 502-504 BibTeX
Henryk Kotlarski: Automorphisms of Countable Recursively Saturated Models of PA: a Survey. 505-518 BibTeX
Roman Kossak: Four Problems Concerning Recursively Saturated Models of Arithmetic. 519-530 BibTeX
Roman Kossak, James H. Schmerl: Arithmetically Saturated Models of Arithmetic. 531-546 BibTeX
Richard Kaye: The Theory of kappa-like Models of Arithmetic. 547-559 BibTeX
James H. Schmerl: PA(aa). 560-569 BibTeX
David Seetapun, Theodore A. Slaman: On the Strength of Ramsey's Theorem. 570-582 BibTeX

Regular Articles

Fabio Bellissima, Anna Bucalo: A Distinguishable Model Theorem for the Minimal US-Tense Logic. 585-594 BibTeX
Michiro Kondo: Approximation Logic and Strong Bunge Algebra. 595-605 BibTeX
O. Anshakov, S. Rychkov: On Finite-Valued Propositional Logical Calculi. 606-629 BibTeX