Tangled modal logic for spatial reasoning

@inproceedings{Duque2011TangledML,
  title={Tangled modal logic for spatial reasoning},
  author={David Fern{\'a}ndez Duque},
  booktitle={IJCAI 2011},
  year={2011}
}
We consider an extension of the propositional modal logic S4 which allows ⋄ to act not only on isolated formulas, but also on sets of formulas. The interpretation of ⋄Γ is then given by the tangled closure of the valuations of formulas in Γ, which over finite transitive, reflexive models indicates the existence of a cluster satisfying Γ. This extension has been shown to be more expressive than the basic modal language: for example, it is equivalent to the bisimulation-invariant fragment of FOL… CONTINUE READING

Citations

Publications citing this paper.