Model construction for modal clauses

DOI10.1007/978-3-031-63501-4_1MaRDI QIDQ7034600zbMATH OpenFDO

Authors Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Model construction for modal clauses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034600)