论文信息 - A logic characterized by the class of connected models with nested domains

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

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.

Giovanna Corsi | G. Corsi

[1] Dov M. Gabbay,et al. Investigations in modal and tense logics with applications to problems in philosophy and linguistics , 1976 .

[2] James W. Garson,et al. Quantification in Modal Logic , 1984 .