On the decidability of open logic

DOI10.1007/S11432-009-0138-1zbMath1191.03006OpenAlexW2150502020MaRDI QIDQ848254

Wei Zhang

Publication date: 3 March 2010

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-009-0138-1

zbMATH Keywords

decidabilityepistemic processopen logicopen proof

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Decidable subsets of open logic and an algorithm for R-calculus

Cites Work

• A programmable approach to revising knowledge bases
• A logic for default reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the decidability of open logic