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

Studia Logica 48 (1):15 - 22 (1989)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
34 (#698,174)

6 months
4 (#864,415)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giovanna Corsi
Università degli Studi di Bologna

Citations of this work

Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.

Add more citations

References found in this work

No references found.

Add more references