LWB

MaRDI QIDQ14468swMATHFDO

Official website https://academic.oup.com/logcom/article/7/5/649/970231

Described by source

• Relations between propositional normal modal logics: an overview

Cited in

(4)

• Solving the \$100 modal logic challenge
• TABLEAUX
• HARP
• Efficient loop-check for backward proof search in some non-classical propositional logics

This page was built for software: LWB