𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Predicate provability logic with non-modalized quantifiers

✍ Scribed by Giorgie Dzhaparidze

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
585 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Provability logics with quantifiers on p
Provability logics with quantifiers on proofs
✍ Rostislav E. Yavorsky πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 124 KB

We study here extensions of the Artemov's logic of proofs in the language with quantiΓΏers on proof variables. Since the provability operator A could be expressed in this language by the formula βˆƒu[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD
QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
✍ Geir WaagbΓΈ; G. WaagbΓΈ πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo