𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bounded Properties in Modal Logic

✍ Scribed by George F. Schumm

Publisher
John Wiley and Sons
Year
1981
Tongue
English
Weight
214 KB
Volume
27
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Normal derivability in modal logic
Normal derivability in modal logic
✍ Jan von Plato πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest

Minimal Axiomatization in Modal Logic
Minimal Axiomatization in Modal Logic
✍ Fabio Bellissima; Saverio Cittadini πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 700 KB

## Abstract We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every

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)

Universal First-Order Definability in Mo
Universal First-Order Definability in Modal Logic
✍ R. E. Jennings; D. K. Johnston; P. K. Schotch πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs