Software tool support for modular reasoning in modal logics of actions

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

Mathematics Subject Classification ID

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)

Bilattice logic of epistemic actions and knowledge ⋮ Bilattice logic properly displayed

Uses Software

• Coq
• Isabelle/HOL
• Muddy children
• DEAK calculus

This page was built for publication: Software tool support for modular reasoning in modal logics of actions