Mauricio Martel

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to delete, add, and swap edges in the model, both locally and globally. We provide translations from these logics to(More)
  • 1