Parallel Theories and Routine Revision in First-Order Logic

DOI10.1002/MALQ.19870330510MaRDI QIDQ3773842zbMATH OpenOpenAlexFDO

Authors Gerold Stahl

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19870330510

zbMATH Keywords

addition and elimination of premisesinconsistent theoriesmethodology of scientific discoveryprocess of scientific investigationrevision of sets of premises

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• The Procedures for Belief Revision
• On the logic of theory change: Partial meet contraction and revision functions
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
• The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings
• scientific article; zbMATH DE number 108002

This page was built for publication: Parallel Theories and Routine Revision in First-Order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3773842)