𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Some Completeness Theorems in Modal Logic

✍ Scribed by D. Makinson

Publisher
John Wiley and Sons
Year
1966
Tongue
English
Weight
369 KB
Volume
12
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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

πŸ“œ SIMILAR VOLUMES

Cut-elimination Theorems for Some Infini
Cut-elimination Theorems for Some Infinitary Modal Logics
✍ Yoshihito Tanaka πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 189 KB

In this article, a cut-free system TLMω 1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames. The system TLMω 1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω 1 is defined as a finite tree of sequents in a standar

Some preservation theorems in an interme
Some preservation theorems in an intermediate logic
✍ Seyed M. Bagheri πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 137 KB

## MSC (2000) 03B55, 03C40 We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].