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

93 citations

Showing 2025Show all

2 papers · 1 filter