Undecidable problems for modal definability
Résumé
The core of our article is the computability of the problem of deciding the modal definability of first-order sentences with respect to classes of frames. It gives a new proof of Chagrova's Theorem telling that, with respect to the class of all frames, the problem of deciding the modal definability of first-order sentences is undecidable. It also gives the proofs of new variants of Chagrova's Theorem
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...