3 books • 1 series
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)