A logic characterized by the class of connected models with nested domains
- 25 Downloads
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.
KeywordsMathematical Logic Computational Linguistic Connected Model Nest Domain
Unable to display preview. Download preview PDF.
- D. Gabbay, Investigations into Tense and Modal Logic with Applications to Problems in Philosophy and Linguistics, Reidel, Dordrecht 1976.Google Scholar
- J. W. Garson, Quantification in modal logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht 1984.Google Scholar