output
20062025
most citedAlgorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

93 citations

Showing hep-phShow all

3 papers · 1 filter