Parallel Theories and Routine Revision in First-Order Logic

Gerold Stahl. Parallel Theories and Routine Revision in First-Order Logic. Math. Log. Q., 33(5):457-459, 1987. [doi]

Abstract

Abstract is missing.