3 years ago

Losing Connection: Modal Logic of Definable Link Deletion.

Dazhu Li

We consider a natural variant of Sabotage Game. Different to the action of Blocker in a sabotage game, links are cut in a local, definable and uniform way, where local is used as usual; definable means that links are cut based on some considerations on the properties of the nodes in the graph; and uniform shows that it is permitted to cut more links than one in each round. As what we will see, this variant can model some interesting scenarios in everyday life.

After this, a suitable modal logic is presented to characterize the game. First, we provide some preliminaries for it, including syntax, semantics and some validities. Next, we describe the standard translation and its correctness. Then, an appropriate notion of bisimulation is proposed for the logic introduced. Afterwards, we show a characterization theorem for the logic as a fragment of first-order logic that is invariant for the bisimulation, and investigate its expressive power. Further more, we prove that the logic is also a fragment of some hybrid logics, and provide some considerations on the recursion axioms. Finally, we show that the logic lacks the tree model property and the finite model property,and that the satisfiability problem for it is undecidable.

Publisher URL: http://arxiv.org/abs/1811.05074

DOI: arXiv:1811.05074v1

You might also like
Discover & Discuss Important Research

Keeping up-to-date with research can feel impossible, with papers being published faster than you'll ever be able to read them. That's where Researcher comes in: we're simplifying discovery and making important discussions happen. With over 19,000 sources, including peer-reviewed journals, preprints, blogs, universities, podcasts and Live events across 10 research areas, you'll never miss what's important to you. It's like social media, but better. Oh, and we should mention - it's free.

  • Download from Google Play
  • Download from App Store
  • Download from AppInChina

Researcher displays publicly available abstracts and doesn’t host any full article content. If the content is open access, we will direct clicks from the abstracts to the publisher website and display the PDF copy on our platform. Clicks to view the full text will be directed to the publisher website, where only users with subscriptions or access through their institution are able to view the full article.