Notre Dame Journal of Formal Logic, Volume 36

Volume 36, Number 1, Winter 1995

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

Volume 36, Number 2, Spring 1995

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

Volume 36, Number 3, Summer 1995

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

Volume 36, Number 4, Fall 1995

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

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

Last update Sat May 18 17:04:55 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page