Advertisement

Studia Logica

, Volume 48, Issue 1, pp 15–22 | Cite as

A logic characterized by the class of connected models with nested domains

  • Giovanna Corsi
Article

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.

Keywords

Mathematical Logic Computational Linguistic Connected Model Nest Domain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    D. Gabbay, Investigations into Tense and Modal Logic with Applications to Problems in Philosophy and Linguistics, Reidel, Dordrecht 1976.Google Scholar
  2. [2]
    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

Copyright information

© Polish Academy of Sciences 1989

Authors and Affiliations

  • Giovanna Corsi
    • 1
  1. 1.Dipartimento di FilosofiaUniversitya′ di FirenzeFirenzeItalia

Personalised recommendations