Modal logics of sabotage revisited

DOI10.1093/logcom/exx034zbMath1444.03041OpenAlexW2793267953MaRDI QIDQ4612406

Guillaume Aucher, Davide Grossi, J. F. A. K. van Benthem

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01827076/file/RevisedProof.pdf

zbMATH Keywords

modal logicdynamic logicfixed-point logicgraph change

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (14)

\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ On Composing Finite Forests with Modal Logics ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ Dynamic coalition logic: granting and revoking dictatorial powers ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ A modal logic for supervised learning ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ To be announced ⋮ A simple logic of the hide and seek game ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Unnamed Item ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Copy and remove as dynamic operators ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

This page was built for publication: Modal logics of sabotage revisited