LWB

swMATH1820MaRDI QIDQ14468

No author found.

Described by source

• Relations between propositional normal modal logics: an overview

Related Items (2)

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

This page was built for software: LWB