✦ LIBER ✦

MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

✍ Scribed by Ewa Orlowska

Publisher: John Wiley and Sons
Year: 1984
Tongue: English
Weight: 527 KB
Volume: 30
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19840301305

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modal logics in the theory of relational

Modal logics in the theory of relational databases

✍ S.K. Das 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 637 KB

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

Logics of Complementarity in Information

Logics of Complementarity in Information Systems

✍ Ivo Düntsch; Ewa Orłowska 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 296 KB 👁 1 views

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

Analyzing completeness of axiomatic func

Analyzing completeness of axiomatic functional systems for temporal × modal logics

✍ Alfredo Burrieza; Inmaculada P. de Guzmán; Emilio Muñoz-Velasco 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 196 KB 👁 1 views

## Abstract In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective