Corpus ID: 207853184

Decision Procedures for Guarded Logics

@article{Kappelmann2019DecisionPF,
  title={Decision Procedures for Guarded Logics},
  author={Kevin Kappelmann},
  journal={ArXiv},
  year={2019},
  volume={abs/1911.03679}
}
  • Kevin Kappelmann
  • Published 2019
  • Computer Science, Mathematics
  • ArXiv
  • An important class of decidable first-order logic fragments are those satisfying a guardedness condition, such as the guarded fragment (GF). Usually, decidability for these logics is closely linked to the tree-like model property - the fact that satisfying models can be taken to have tree-like form. Decision procedures for the guarded fragment based on the tree-like model property are difficult to implement. An alternative approach, based on restricting first-order resolution, has been proposed… CONTINUE READING

    References

    Publications referenced by this paper.