LWB

swMATH1820MaRDI QIDQ14468FDOQ14468

Author name not available (Why is that?)

Described by source

• Relations between propositional normal modal logics: an overview

Cited In (2)

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

This page was built for software: LWB