Software tool support for modular reasoning in modal logics of actions
From MaRDI portal
Publication:1791146
DOI10.1007/978-3-319-94821-8_4OpenAlexW2811196654MaRDI QIDQ1791146
Alexander Kurz, Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Samuel Balco
Publication date: 4 October 2018
Full work available at URL: https://dspace.library.uu.nl/handle/1874/389209
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (2)
Uses Software
This page was built for publication: Software tool support for modular reasoning in modal logics of actions