Modal correspondence theory in the class of all Euclidean frames
Abstract
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.
Origin : Files produced by the author(s)
Loading...