LWB

swMATH1820MaRDI QIDQ14468FDOQ14468

Author name not available (Why is that?)

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
• Efficient loop-check for backward proof search in some non-classical propositional logics
• TABLEAUX
• HARP

This page was built for software: LWB