Modal correspondence theory in the class of all Euclidean frames
Résumé
The core of this paper is the modal correspondence theory in the class of all Euclidean frames. It shows that with respect to the class of all Euclidean frames, every modal formula is first-order definable and the problem of deciding the modal definability of sentences is undecidable.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...