TWB

swMATH17666MaRDI QIDQ29521FDOQ29521

Author name not available (Why is that?)

Described by source

• The Tableau Workbench

Cited In (2)

• Sublogics of a branching time logic of robustness
• Relational dual tableau decision procedure for modal logic K

This page was built for software: TWB