Pages that link to "Item:Q4612406"
From MaRDI portal
The following pages link to Modal logics of sabotage revisited (Q4612406):
Displaying 21 items.
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
- A modal logic for supervised learning (Q2155207) (← links)
- Alleged Assassins: Realist and Constructivist Semantics for Modal Modification (Q4914515) (← links)
- Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
- THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
- Further Steps Towards a Logic of Polarization in Social Networks (Q5098763) (← links)
- (Q5101338) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- To be announced (Q6040661) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
- Data graphs with incomplete information (and a way to complete them) (Q6545578) (← links)
- The modal logics of the poison game (Q6601761) (← links)
- Local fact change logic (Q6601765) (← links)
- Solution complexity of local variants of sabotage game (Q6601766) (← links)
- Graph games and logic design (Q6601767) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)
