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

93 citations

Showing 2019Show all

3 papers · 1 filter