An open logic system admitting modification of inference rules

zbMath0857.03015MaRDI QIDQ1814724

Ming Sheng Ying

Publication date: 11 March 1997

Published in: Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

consistencybelief changeinference rulesbelief statemaxichoice revision

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

This page was built for publication: An open logic system admitting modification of inference rules