Logical derivation search with assumption traceability

DOI10.15388/LMR.2021.25215zbMath1499.68332WikidataQ114594799 ScholiaQ114594799MaRDI QIDQ5040820

A. Birštunas, Elena Reivytytė

Publication date: 18 October 2022

Published in: Lietuvos matematikos rinkinys (Search for Journal in Brave)

zbMATH Keywords

propositional logictraceabilityloop checking

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Classical propositional logic (03B05)

Cites Work

• Indexed systems of sequents and cut-elimination
• Loop-type sequent calculi for temporal logic
• A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
• The complexity of theorem-proving procedures

This page was built for publication: Logical derivation search with assumption traceability