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

93 citations

Showing 2025 · astro-ph.COShow all

2 papers · 2 filters