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

93 citations

Showing 2024Show all

4 papers · 1 filter