𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Classically complete modal relevant logics

✍ Scribed by Edwin D. Mares

Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
674 KB
Volume
39
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

A variety of modal logics based on the relevant logic R are presented. Models are given for each of these logics and completeness is shown. It is also shown that each of these logics admits Ackermann's rule Ξ³ and as a corollary of this it is proved that each logic is a conservative extension of its counterpart based on classical logic, hence we call them β€œclassically complete”. MSC: 03B45, 03B46.

πŸ“œ 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 Some Completeness Theorems in Modal L
On Some Completeness Theorems in Modal Logic
✍ D. Makinson πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons 🌐 English βš– 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

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