Losing connection: the modal logic of definable link deletion

DOI10.1093/logcom/exz036OpenAlexW3016712490WikidataQ126654769 ScholiaQ126654769MaRDI QIDQ5158361

Dazhu Li

Publication date: 21 October 2021

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

Full work available at URL: https://arxiv.org/abs/1811.05074

zbMATH Keywords

undecidabilitymodal logicdynamic logicgraph gamelink deletion

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (6)

On the subtle nature of a simple logic of the hide and seek game ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ A modal logic for supervised learning ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ A simple logic of the hide and seek game ⋮ Copy and remove as dynamic operators

This page was built for publication: Losing connection: the modal logic of definable link deletion