Skip to Main content Skip to Navigation
Conference papers

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01836507
Contributor : Sabine Frittella <>
Submitted on : Thursday, July 12, 2018 - 1:21:40 PM
Last modification on : Wednesday, May 13, 2020 - 11:10:19 AM

Identifiers

  • HAL Id : hal-01836507, version 1

Citation

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano. Software Tool Support for Modular Reasoning in Modal Logics of Actions. 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. ⟨hal-01836507⟩

Share

Metrics

Record views

64