𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Subformula results in some propositional modal logics

✍ Scribed by Melvin Fitting

Publisher
Springer Netherlands
Year
1978
Tongue
English
Weight
251 KB
Volume
37
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Cut-free tableau calculi for some propos
Cut-free tableau calculi for some propositional normal modal logics
✍ Martin Amerbauer πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 700 KB

We give sound and complete tableau and sequent calculi for the propositional normal modal logics $4.04, K4B and G O (these logics axe the smallest normal modal logics containing K and the schemata [:]A -+ ODA, DA --+ A and D<)DA --+ (A --+ DA) ; DA -+ D[]A and A -+ D<>A ; DA --+ D[qA and D(D(A --+ D

Validity Measurement in Some Proposition
Validity Measurement in Some Propositional Logics
✍ Branislav BoričiΔ‡ πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 501 KB

## Abstract The language of the propositional calculus is extended by two families of propositional probability operators, inductively applicable to the formulae, and the set of all formulae provable in an arbitrary superintuitionistic propositional logic is extended by the probability measure axio

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)