MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)

From MaRDI portal
Publication:5049018

DOI10.1007/978-3-030-51054-1_25OpenAlexW3017391521MaRDI QIDQ5049018

Lutz Straßburger, Marianna Girlando

Publication date: 9 November 2022

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51054-1_25




Related Items


Uses Software


Cites Work