𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Completeness of Chronological Logics with Modal Operators

✍ Scribed by Hirokazu Nishimura

Publisher
John Wiley and Sons
Year
1979
Tongue
English
Weight
471 KB
Volume
25
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The completeness of monotonic modal logi
The completeness of monotonic modal logics
✍ Brian F. Chellas; Audrey McKinney πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th

On the Proof Theory of the Modal Logic G
On the Proof Theory of the Modal Logic Grz
✍ M. Borga; P. Gentilini πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 246 KB πŸ‘ 1 views
On the completeness of the generalized e
On the completeness of the generalized eigenfunctions of elliptic operators on manifolds with conical singularities
✍ Thomas Krainer πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 180 KB πŸ‘ 1 views

## Abstract We show the completeness of the system of generalized eigenfunctions of closed extensions of elliptic cone operators under suitable conditions on the symbols (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

On the completeness of root vectors of a
On the completeness of root vectors of a certain class of differential operators
✍ Marianna A. Shubov πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 262 KB πŸ‘ 1 views

## Abstract The present paper is the first one in a series of two papers devoted to a unified approach to the problem of completeness of the generalized eigenvectors (the root vectors) for a specific class of linear non‐selfadjoint unbounded differential operators. The list of the problems for whic