Notre Dame Journal of Formal Logic

The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.

Special Issue on Belief Revision; Guest Editor: André Fuhrmann

Volume 36, Number 1

Publication Date: Winter 1995

Table of Contents to Volume 36, Number 1

Editor's Introduction

André Fuhrmann; 1-14

Belief Revision and Verisimilitude

Mark Ryan and Pierre-Yves Schobbens; 15-29

Computing Verisimilitude

Chris Brink and Katarina Britz; 30-43

Semantics-based Nonmonotonic Inference

Heinrich Wansing; 44-54

Belief Revision, Conditional Logic and Nonmonotonic Reasoning

Wayne Wobcke; 55-102

Levi Contractions and AGM Contractions: A Comparison

Sven Ove Hansson and Erik J. Olsson; 103-119

Constructive Modelings for Theory Change

Pavlos Peppas and Mary-Anne Williams; 120-133

Partial Up and Down Logic

Jan O. M. Jaspars; 134-157

On the Revision of Probabilistic Belief States

Craig Boutilier; 158-183

Statement of Ownership

184

Back Page to Volume 36, Number 1