Abstract
The main aim of this paper is to introduce the logic QE-LC whose language contains the ‘existence’ predicate E and which is characterized by the class of connected (Kripke) E-models with nested domains.
Similar content being viewed by others
References
D. Gabbay, Investigations into Tense and Modal Logic with Applications to Problems in Philosophy and Linguistics, Reidel, Dordrecht 1976.
J. W. Garson, Quantification in modal logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht 1984.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Corsi, G. A logic characterized by the class of connected models with nested domains. Stud Logica 48, 15–22 (1989). https://doi.org/10.1007/BF00370630
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370630