A logic characterized by the class of connected models with nested domains期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

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

Authors:	Giovanna Corsi

Affiliation:	(1) Dipartimento di Filosofia, Universitya di Firenze, via Bolognese 52, 50139 Firenze, Italia

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:
本文献已被 SpringerLink 等数据库收录！