๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Modal logics in the theory of relational databases

โœ Scribed by S.K. Das

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
637 KB
Volume
57
Category
Article
ISSN
0020-0190

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
Systems of Transfinite Type Theory Based
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics
โœ Kenneth A. Bowen ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those